mathswitch — infrastructure for relaying and exchanging mathematical concepts

Canonical form of matrices over a field.