InnerCommonDenominator(R, Q, A, B)ΒΆ

cden.spad line 1

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.