Reduced Row Echelon Form (RREF)

Dependencies:

1. Matrix

A matrix is in Reduced Row Echelon Form (RREF) iff it satisfies all the following conditions:

• The first nonzero entry in each row is 1.
• Each successive row has its first nonzero entry in a later column.
• All entries above and below the first nonzero entry of each row are zero.
• All rows which only have zeros are at the bottom.

Dependency for:

1. Full-rank square matrix in RREF is the identity matrix
2. RREF is unique
3. Rows of RREF are linearly independent

Info:

• Depth: 3
• Number of transitive dependencies: 4

Transitive dependencies:

1. Group
2. Ring
3. Semiring
4. Matrix