algtodalg, dalgtoalg, dptodalg, dalgtodp

algtodalg(alg)

:: 代数的数 alg を DAlg に変換する.

dalgtoalg(dalg)

:: DAlg dalg を代数的数に変換する.

dptodalg(dp)

:: 分散多項式 dp を DAlg に変換する.

dalgtodp(dalg)

:: DAlg dalg を分散多項式に変換する.

return

代数的数, DAlg または [分散多項式,分母] なるリスト

alg

root を含む代数的数

dp

有理数係数分散多項式

• root を含む代数的数, DAlg および分散多項式間の変換を行う.
• DAlg が属すべき代数体は, set_field() により あらかじめ設定しておく必要がある.
• dalgtodp() は, 分子である整数係数分散多項式と, 分母である整数を要素に持つ リストを返す.
• algtodalg(), dptodalg() は簡単化された結果を返す.

[0] A=newalg(x^2+1);
(#0)
[1] B=newalg(x^3+A*x+A);
(#1)
[2] set_field([B,A]);
0
[3] C=algtodalg((A+B)^10);
((408)*<<2,1>>+(103)*<<2,0>>+(-36)*<<1,1>>+(-446)*<<1,0>>
+(-332)*<<0,1>>+(-218)*<<0,0>>)
[4] dalgtoalg(C);
((408*#0+103)*#1^2+(-36*#0-446)*#1-332*#0-218)
[5] D=dptodalg(<<10,10>>/10+2*<<5,5>>+1/3*<<0,0>>);
((-9)*<<2,1>>+(57)*<<2,0>>+(-63)*<<1,1>>+(-12)*<<1,0>>
+(-60)*<<0,1>>+(1)*<<0,0>>)/30
[6] dalgtodp(D);
[(-9)*<<2,1>>+(57)*<<2,0>>+(-63)*<<1,1>>+(-12)*<<1,0>>
+(-60)*<<0,1>>+(1)*<<0,0>>,30]

参照

section set_field

Go to the first, previous, next, last section, table of contents.