Revision history [back]

A little digging in the code shows that M.hermite_form calls M._echelon_form_PID which is a very generic routine. It also documents that further reduction of non-pivot entries in pivot colums is done when ideals of the base ring have a small_residue method.

See https://trac.sagemath.org/ticket/23260

It should be a nice beginner ticket.