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.