MatrixCommonDenominator(R, Q)ΒΆ

cden.spad line 134

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.