RREF
Definition

Example
The white squares are 0, the empty grey squares are arbitrary numbers
Read the solution

General algorithm

Input: Output:
Runtime:
Relation to CR-decomposition

- Proof

The white squares are 0, the empty grey squares are arbitrary numbers


Input: Output:
Runtime:
