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

### `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.