Mathematicaチュートリアル

代数的数体における多項式

Factorのような関数で多項式の因数分解をするとき，通常，得られる式の係数はすべてが有理数からなるものとする．ただし，オプションExtensionを設定することで係数の存在し得る領域を広げることが可能である．

Factor[poly,Extension->{a₁,a₂,...}]
	a_i の有理結合も係数に許容して多項式 poly を因数分解する

代数的数体における多項式の因数分解

係数が有理数しか取れないものとすると，この多項式は因数分解できない．

In[1]:=

Out[1]=

係数に

を使ってもよいものとすると，因数分解ができるようになる．

In[2]:=

Out[2]=

係数に

を使ってもよいものとしても，因数分解できる．

In[3]:=

Out[3]=

GaussianIntegers->Trueの条件指定はExtension->Sqrt[-1]に等しい．

In[4]:=

Out[4]=

と

の両方を使ってよいものとすれば，この多項式も完全に因数分解できる．

In[5]:=

Out[5]=

Expandを作用されると，もとの式が得られる．

In[6]:=

Out[6]=

Factor[poly,Extension->Automatic]
	係数が代数的数になり得るものとして，多項式 poly を因数分解する

代数的数を係数とする因数分解

係数に

を持つ多項式を例に使う．

In[7]:=

Out[7]=

Factorのデフォルト設定だと，因数分解してくれない．

In[8]:=

Out[8]=

代数的数を係数に使うように指定すれば，

を使い分解可能になる．

In[9]:=

Out[9]=

他の多項式に関する関数もFactorと同じように機能する．つまり，特に条件を指定しなければ代数的数は単なるシンボルとして扱われ，係数が有理整数において操作可能である．それに対し，Extension->Automaticとオプション設定をすれば，係数の表現に代数的数を使った変形操作が可能となる．

デフォルト設定では，これらの多項式はCancelでは約分できない．

代数的数を許すと，約分できるようになる．

デフォルト設定では，PolynomialLCMで共通な因数は見付けられない．

今度は，見付けられる．