InnerMatrixQuotientFieldFunctions(R, Row, Col, M, QF, Row2, Col2, M2)

matfuns.spad line 400 [edit on github]

• R: IntegralDomain

• Row: FiniteLinearAggregate R

• Col: FiniteLinearAggregate R

• M: MatrixCategory(R, Row, Col)

• QF: QuotientFieldCategory R

• Row2: FiniteLinearAggregate QF

• Col2: FiniteLinearAggregate QF

• M2: MatrixCategory(QF, Row2, Col2)

InnerMatrixQuotientFieldFunctions provides functions on matrices over an integral domain which involve the quotient field of that integral domain. The functions rowEchelon and inverse return matrices with entries in the quotient field.

inverse: M -> Union(M2, failed)

inverse(m) returns the inverse of the matrix m. If the matrix is not invertible, “failed” is returned. Error: if the matrix is not square. Note: the result will have entries in the quotient field.

nullSpace: M -> List Col if Col2 has shallowlyMutable

nullSpace(m) returns a basis for the null space of the matrix m.

rowEchelon: M -> M2

rowEchelon(m) returns the row echelon form of the matrix m. the result will have entries in the quotient field.