MatrixCommonDenominator(R, Q)

cden.spad line 134 [edit on github]

• R: IntegralDomain

• Q: QuotientFieldCategory R

MatrixCommonDenominator provides functions to compute the common denominator of a matrix of elements of the quotient field of an integral domain.

clearDenominator: Matrix Q -> Matrix R

clearDenominator(q) returns p such that q = p/d where d is a common denominator for the elements of q.

commonDenominator: Matrix Q -> R

commonDenominator(q) returns a common denominator d for the elements of q.

splitDenominator: Matrix Q -> Record(num: Matrix R, den: R)

splitDenominator(q) returns [p, d] such that q = p/d and d is a common denominator for the elements of q.