`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

参照
     *Note `utrunc udecomp ureverse': utrunc udecomp ureverse, *Note
     `udiv urem urembymul urembymul_precomp ugcd': udiv urem urembymul
     urembymul_precomp ugcd.

