Hermite Form

The output of ``row echelon form without dividing rows''
is called ``Hermite Form''.
Yeah, kinda fancy name, but it really wants a name.

[There's no fancy name for the output of it if you divide rows,
 and the end of Gauss-Jordan hasn't a name either (RREF),
 b/c it's only -computational- useful,
 and hasn't any deeper math meaning]
