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

- 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`

.