`uinv_as_power_series', `ureverse_inv_as_power_series'
------------------------------------------------------

uinv_as_power_series(P,D)
ureverse_inv_as_power_series(P,D)
     :: $BB?9`<0$rQQ5i?t$H$_$F(B, $B5U857W;;(B

RETURN
     $B0lJQ?tB?9`<0(B

P
     $B0lJQ?tB?9`<0(B

D
     $BHsIi@0?t(B

   * `uinv_as_power_series(P,D)' $B$O(B, $BDj?t9`$,(B 0 $B$G$J$$(B $BB?9`<0(B P $B$KBP$7(B,
     PR-1 $B$N:GDc<!?t$,(B D+1 $B0J>e$K$J$k$h$&$J(B $B9b!9(B D $B<!$NB?9`<0(B R
     $B$r5a$a$k(B.

   * `ureverse_inv_as_power_series(P,D)' $B$O(B P $B$N<!?t$r(B E $B$H$9$k$H$-(B,
     P1=`ureverse(P,E)' $B$KBP$7$F(B `uinv_as_power_series(P1,D)'
     $B$r7W;;$9$k(B.

   * `rembymul_precomp()' $B$N0z?t$H$7$FMQ$$$k>l9g(B,
     `ureverse_inv_as_power_series()'
     $B$N7k2L$r$=$N$^$^MQ$$$k$3$H$,$G$-$k(B.

     [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

$B;2>H(B
     *Note `utrunc udecomp ureverse': utrunc udecomp ureverse, *Note
     `udiv urem urembymul urembymul_precomp ugcd': udiv urem urembymul
     urembymul_precomp ugcd.

