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

cden.spad line 86 [edit on github]

• R : IntegralDomain
• Q : QuotientFieldCategory(R)
• E : OrderedAbelianMonoidSup
• VarSet : OrderedSet
• P : PolynomialCategory(Q, E, VarSet)

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.