PolynomialCommonDenominator(R, Q, E, VarSet, P)¶

PolynomialCommonDenominator provides functions to compute and clear the common denominator of the coefficients of polynomials over the quotient field.

clearDenominator: P -> P

clearDenominator(q) returns p such that q = p/d where d is a common denominator for the coefficients of q.

commonDenominator: P -> R

commonDenominator(q) returns a common denominator d for the coefficients of q.

splitDenominator: P -> Record(num: P, den: R)

splitDenominator(q) returns [p, d] such that q = p/d and d is a common denominator for the coefficients of q.