mathswitch — infrastructure for relaying and exchanging mathematical concepts
Canonical form of matrices over a field.