uinv_as_power_series, ureverse_inv_as_power_series

uinv_as_power_series(p,d)

ureverse_inv_as_power_series(p,d)

:: 多項式を冪級数とみて, 逆元計算

return

一変数多項式

p

一変数多項式

d

非負整数

• uinv_as_power_series(p,d) は, 定数項が 0 でない 多項式 p に対し, pr-1 の最低次数が d+1 以上になるような 高々 d 次の多項式 r を求める.
• ureverse_inv_as_power_series(p,d) は p の次数を e とするとき, p1=ureverse(p,e) に対して uinv_as_power_series(p1,d) を計算する.
• rembymul_precomp() の引数として用いる場合, ureverse_inv_as_power_series() の結果をそのまま用いることができる.

[123] A=(x+1)^5;                 
x^5+5*x^4+10*x^3+10*x^2+5*x+1
[124] uinv_as_power_series(A,5); 
-126*x^5+70*x^4-35*x^3+15*x^2-5*x+1
[126] A*R;
-126*x^10-560*x^9-945*x^8-720*x^7-210*x^6+1
[127] A=x^10+x^9;
x^10+x^9
[128] R=ureverse_inv_as_power_series(A,5);
-x^5+x^4-x^3+x^2-x+1
[129] ureverse(A)*R;
-x^6+1

参照

section utrunc, udecomp, ureverse, section udiv, urem, urembymul, urembymul_precomp, ugcd.

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