UnivariatePolynomialCommonDenominator(R, Q, UP)

cden.spad line 127 [edit on github]

• R : IntegralDomain
• Q : QuotientFieldCategory(R)
• UP : UnivariatePolynomialCategory(Q)

undocumented

clearDenominator : UP -> UP

commonDenominator : UP -> R

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