Gauss-Jordan elimination
Choose an equation c from C
Rewrite c into the form x = e
Replace x everywhere else in C by e
Continue until
- all equations are in the form x = e
- or an equation is equivalent to d = 0 ^ (d != 0)
Return true in the first case else false