Products with a transpose in them, kept out of the reach of simplification. A transpose is a matrix, and
matrices do not commute: AᵀB is not BAᵀ, and AᵀB - BAᵀ is not 0. Every pass of the simplifier reads a product
as commutative -- sorting, collecting like factors, reading it as a polynomial, printing it -- so such a
product is set aside as a name of its own, the rest simplified around it, and the product put back with its
factors simplified each on its own, in the order they were written. A name beside a transpose is kept in its
place too, since it may stand for a matrix, and a name carries no type to say whether it does
(https://github.com/asc-community/AngouriMath/issues/1237). The transpose of a matrix written out is not
set aside: simplification carries it out. A determinant, a transpose, a trace or an entry of a name beside a
written matrix is set aside whole, since simplifying its argument reads the name as a number.
https://github.com/asc-community/AngouriMath/issues/2147