RationalFunctionFactorizer RΒΆ

allfact.spad line 298

RationalFunctionFactorizer contains the factor function (called factorFraction) which factors fractions of polynomials by factoring the numerator and denominator. Since any non zero fraction is a unit the usual factor operation will just return the original fraction.

factorFraction: Fraction Polynomial R -> Fraction Factored Polynomial R
factorFraction(r) factors the numerator and the denominator of the polynomial fraction r.