Sage
NME5
Nonsingular Matrix Equivalences, Round 5
We can easily illustrate our latest equivalence for nonsingular matrices.