Extension
さまざまな多項式関数および代数関数のオプションであり，使用する代数的数体の生成元を指定する．
詳細
- 多項式関数については，Extensionは係数が存在すると考えられる代数的数体を割り出す．
- Extension->a の設定は，代数的数 a で拡大された有理数からなる体
を指定する． - Extension->{a1,a2,…}の設定は，体
を指定する． - aiは厳密数でなければならない．aiはRootオブジェクトやAlgebraicNumberオブジェクトだけでなく根基も含むことができる．
- Extension->Automaticとすると，入力中の任意の代数的数が拡大体に含まれるようになる．
- 多項式関数については，デフォルト設定のExtension->Noneのとき，係数はすべて有理数でなければならない．入力中の代数的数は独立変数として扱われる．
- Extension->{a1,a2,…}は aiおよび入力中の任意の代数的数の両方を含む．
- GaussianIntegers->TrueはExtension->Iに等しい．
例題
すべて開く すべて閉じる例 (2)
スコープ (8)
これは，
で拡大された有理数上で因数分解を行うように指定する：
以下では，因数分解が
とIで拡大された有理数上で行われている：
デフォルトで，PolynomialGCDは代数的数を独立変数として扱う：
次は，係数によって生成された代数的数体上でGCDを計算する：
デフォルトで，Togetherは代数的数を独立変数として扱う：
Extension->Automaticとすると，Togetherは代数依存的係数を認識する：
デフォルトで，ノルムはAlgebraicNumberオブジェクトによって生成された体の中で計算される：
次は，AlgebraicNumberオブジェクトが表されている体の中でノルムを計算する：
特性と関係 (1)
Factorについては，Extension->IはGaussianIntegers->Trueに等しい：
テキスト
Wolfram Research (1996), Extension, Wolfram言語関数， https://reference.wolfram.com/language/ref/Extension.html （2007年に更新）.
CMS
Wolfram Language. 1996. "Extension." Wolfram Language & System Documentation Center. Wolfram Research. Last Modified 2007. https://reference.wolfram.com/language/ref/Extension.html.
APA
Wolfram Language. (1996). Extension. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/Extension.html