Extension

Extensionは，FactorとPolynomialGCD，またはこれらに関連した関数のオプションとして使われ，その関数の評価結果として得られる多項式において，係数の記述に使用可能とする代数的数を指定する．

Extension->, , ... の設定では，の組合せ方は限定されない．

厳密な数の性質をなくさないために，は厳密な数でなければいけない．Iとn重根，さらにRootオブジェクトを含んでもよい．

は，係数の存在する代数的数体の生成体ととらえることができる．

デフォルト設定のExtension->Noneを使うと，すべての係数は有理数でなければならないものとされ，入力された多項式の持つ代数的数は独立変数的に扱われる．

Extension->Automaticの設定では，入力された多項式の持つ代数的数はすべて係数体に含められる．

Extension->, , ... の設定では，および入力された多項式の代数的数の両方が係数体に含められる．

GaussianIntegers->Trueは，Extension->Iに等しい．

参照セクション：3.3.6.

次も参照：Modulus，Algebraics．

バージョン3の新関数

他の例