PolynomialCommonDenominator(R, Q, E, VarSet, P)ΒΆ

cden.spad line 86

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.