Compute the canonical form of the input.
Input maps.
Defactored Hermite normal form or the antitranspose sandwich for commas bases.
Compute the canonical form of the input.