RationalFactorize RPΒΆ

ratfact.spad line 1

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.