Modular hermitian row reduction. Author: Manuel Bronstein Date Created: 22 February 1989 Keywords: matrix, reduction.
- normalizedDivide: (R, R) -> Record(quotient: R, remainder: R)
normalizedDivide(n, d)returns a normalized quotient and remainder such that consistently unique representatives for the residue class are chosen, e.g. positive remainders
- rowEch: Matrix R -> Matrix R
rowEch(m)computes a modular row-echelon form of
m, finding an appropriate modulus.
- rowEchelon: (Matrix R, R) -> Matrix R
rowEchelon(m, d)computes a modular row-echelon form mod
d] [ . ] [
M = m mod d.
- rowEchelonLocal: (Matrix R, R, R) -> Matrix R
rowEchelonLocal(m, d, p)computes the row-echelon form of
dtimes the identity matrix over a local ring where
pis the only prime.