unify matrix echelonization and Gauss forward elimination
pretty-print Kirchoff laws equations