 |
Extension
Extension
さまざまな多項式関数および代数関数のオプションであり，使用する代数的数体の生成体を指定する．
詳細
- 多項式関数については，Extensionは係数が存在すると考えられる代数的数体を割り出す．
- Extension->a の設定は，代数的数 a で拡大された有理数からなる体
を指定する． - Extension->{a1, a2, ...}の設定は，体
を指定する． 
は厳密数でなければならない．
はRootオブジェクトやAlgebraicNumberオブジェクトだけでなく根基も含むことができる．- Extension->Automaticとすると，入力中の任意の代数的数が拡大体に含まれるようになる．
- 多項式関数については，デフォルト設定のExtension->Noneのとき，係数はすべて有理数でなければならない．入力中の代数的数は独立変数として扱われる．
- Extension->{a1, a2, ...}は
および入力中の任意の代数的数の両方を含む． - GaussianIntegers->TrueはExtension->Iに等しい．
バージョン 3 の新機能 | バージョン 6 での修正機能
