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

### `fctr`, `sqfr`

`fctr(poly)`
  :: poly を既約因子に分解する.
`sqfr(poly)`
  :: poly を無平方分解する.

return
  リスト
poly
  有理数係数の多項式

- 有理数係数の多項式 poly を因数分解する. `fctr()` は既約因子分解, `sqfr()` は無平方因子分解.
- 結果は [[数係数,1],[因子,重複度],...] なるリスト.
- 数係数 と 全ての 因子^重複度 の積が poly と等しい.
- 数係数 は, (poly/数係数) が, 整数係数で, 係数の GCD が 1 となる ような多項式になるように選ばれている. (`ptozp()` 参照)

    [0] fctr(x^10-1);
    [[1,1],[x-1,1],[x+1,1],[x^4+x^3+x^2+x+1,1],[x^4-x^3+x^2-x+1,1]]
    [1] fctr(x^3+y^3+(z/3)^3-x*y*z);
    [[1/27,1],[9*x^2+(-9*y-3*z)*x+9*y^2-3*z*y+z^2,1],[3*x+3*y+z,1]]
    [2] A=(a+b+c+d)^2;
    a^2+(2*b+2*c+2*d)*a+b^2+(2*c+2*d)*b+c^2+2*d*c+d^2
    [3] fctr(A);
    [[1,1],[a+b+c+d,2]]
    [4] A=(x+1)*(x^2-y^2)^2;
    x^5+x^4-2*y^2*x^3-2*y^2*x^2+y^4*x+y^4
    [5] sqfr(A);
    [[1,1],[x+1,1],[-x^2+y^2,2]]
    [6] fctr(A);
    [[1,1],[x+1,1],[-x-y,2],[x-y,2]]

`参照`
  section `ufctrhint`.

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