InnerCommonDenominator(R, Q, A, B)

cden.spad line 1 [edit on github]

• R : IntegralDomain
• Q : QuotientFieldCategory(R)
• A : Join(LinearAggregate(R), finiteAggregate)
• B : Join(LinearAggregate(Q), finiteAggregate)

InnerCommonDenominator provides functions to compute the common denominator of a finite linear aggregate of elements of the quotient field of an integral domain.

clearDenominator : B -> A

clearDenominator([q1, ..., qn]) returns [p1, ..., pn] such that qi = pi/d where d is a common denominator for the qi's.

commonDenominator : B -> R

commonDenominator([q1, ..., qn]) returns a common denominator d for q1, ..., qn.

splitDenominator : B -> Record(num : A, den : R)

splitDenominator([q1, ..., qn]) returns [[p1, ..., pn], d] such that qi = pi/d and d is a common denominator for the qi's.