Algosim documentation: IsReducedRowEchelonForm

IsReducedRowEchelonForm

Tests if a matrix is in reduced row echelon form.

Syntax

Description

If A is a matrix, then IsReducedRowEchelonForm(A, ε) returns true iff A is in reduced row echelon form:

Examples

A ≔ ❨❨5, 1, 2, 3, 4❩, ❨0, 0, 2, 1, 2❩, ❨0, 0, 0, 5, 1❩, ❨0, 0, 0, 0, 0❩❩
⎛5  1  2  3  4⎞
⎜0  0  2  1  2⎟
⎜0  0  0  5  1⎟
⎝0  0  0  0  0⎠
IsReducedRowEchelonForm(A)
false
A ≔ ❨❨1, 5, 0, 0, 4❩, ❨0, 0, 1, 0, 2❩, ❨0, 0, 0, 1, 1❩, ❨0, 0, 0, 0, 0❩❩
⎛1  5  0  0  4⎞
⎜0  0  1  0  2⎟
⎜0  0  0  1  1⎟
⎝0  0  0  0  0⎠
IsReducedRowEchelonForm(A)
true

See also