ratfact.spad line 1 [edit on github]
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.
factor(p) factors an extended polynomial p over the rational numbers.
factorSquareFree(p) factors an extended squareFree polynomial p over the rational numbers.