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.