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

### `modfctr`

`modfctr(poly,mod)`
  :: 有限体上での多項式の因数分解

return
  リスト
poly
  整数係数の多項式
mod
  自然数

- 2^29 未満の自然数 mod を標数とする素体上で多項式 poly を既約因子に分解する.
- 結果は [[数係数,1],[因子,重複度],...] なるリスト.
- 数係数 と 全ての 因子^重複度 の積が poly と等しい.
- 大きな位数を持つ有限体上の因数分解には `fctr_ff` を用いる. (section 有限体に関する演算,see section `fctr_ff`).

    [0] modfctr(x^10+x^2+1,2147483647);
    [[1,1],[x+1513477736,1],[x+2055628767,1],[x+91854880,1],
    [x+634005911,1],[x+1513477735,1],[x+634005912,1],
    [x^4+1759639395*x^2+2045307031,1]]
    [1] modfctr(2*x^6+(y^2+z*y)*x^4+2*z*y^3*x^2+(2*z^2*y^2+z^3*y)*x+z^4,3);
    [[2,1],[2*x^3+z*y*x+z^2,1],[2*x^3+y^2*x+2*z^2,1]]

`参照`
  section `fctr`, `sqfr`.

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