NORMFORM
From redlog.eu
Author: Matt Rebbeck
Computation of normal forms of matrices (Smith, Frobenius, Jordan).
By default the domain of computation is the rational numbers. This can be extended to an algebraic number field. The Frobenius and Jordan normal forms can also be computed in a modular base.
