RationalFactorize RP

ratfact.spad line 1 [edit on github]

• RP: UnivariatePolynomialCategory Fraction Integer

Author: P. Gianni Factorization of extended polynomials with rational coefficients. This package implements factorization of extended polynomials whose coefficients are rational numbers. It does this by taking the lcm of the coefficients of the polynomial and creating a polynomial with integer coefficients. The algorithm in GaloisGroupFactorizer is then used to factor the integer polynomial. The result is normalized with respect to the original lcm of the denominators. Keywords: factorization, hensel, rational number

factor: RP -> Factored RP

factor(p) factors an extended polynomial p over the rational numbers.

factorSquareFree: RP -> Factored RP

factorSquareFree(p) factors an extended squareFree polynomial p over the rational numbers.