Welcome! You have found the homepage of the Fall 2021 manifestation of Math 218.
The command A == A.rref() will determine if a given matrix is in
reduced row echelon form.
The commands A.rank() and A.right_nullity()
calculate the rank and nullity.
The code below will verify whether or not a matrix is in row echelon form.