UnivariatePolynomialCommonDenominator(R, Q, UP)

cden.spad line 127 [edit on github]

• R: IntegralDomain

• Q: QuotientFieldCategory R

• UP: UnivariatePolynomialCategory Q

Specialization of PolynomialCommonDenominator for univariate polynomials.

clearDenominator: UP -> UP

commonDenominator: UP -> R

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