Factor

Factor[poly]は，整数について多項式を因数分解する．

Factor[poly, Modulus->p]は，素数pを法として多項式を因数分解する．

Factor[poly, Extension->, , ... ]は，代数的数の有理的組合せからなる係数を使い，多項式を因数分解する．

Factorは，式の最上レベルに限って適用される．他のレベルに到達するためにはMapを使用したり，Factorを再適用する必要がある．

Factor[poly, GaussianIntegers->True]は，ガウスの整数を係数と認識し因数分解する．

polyの係数が複素数である場合，ガウスの整数を係数と認め因数分解が実行される．

変数の指数が正の整数である必要はなく，Factorは，指数がシンボル式の線形な組合せのものを取り扱うことができる．

有理式が与えられる場合，Factorは，まずTogetherを呼び出し，それから分子と分母を因数分解する．

デフォルト設定のExtension->Noneは，Factor[poly]は多項式polyにおいて代数的数である係数を独立変数と同様のやり方で取り扱う．

Factor[poly, Extension->Automatic]は，多項式polyにある任意の代数的数を含めるように，係数の取り扱える領域を拡張する．

参照セクション：1.4.3, 1.4.5 ， 3.3.1.

実装に関するノート：A.9.5.

次も参照：FactorList，FactorTerms，FactorSquareFree， Solve，Expand，Simplify，FactorInteger，TrigFactor．

バージョン1の新関数．バージョン3で大幅改訂

他の例