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.