IsInStandardForm( M )
IsInStandardForm( M, idleft )
IsInStandardForm determines if M is in standard form. idleft is a
boolean that indicates the position of the identity matrix in M. If
idleft is true, IsInStandardForm checks if the identity matrix is
at the left side of M, otherwise if it is at the right side. The
default for idleft is true. The elements of M may be elements of
any field. To put a matrix in standard form, use PutStandardForm (see
PutStandardForm).
gap> IsInStandardForm(IdentityMat(7, GF(2)));
true
gap> IsInStandardForm([[1, 1, 0], [1, 0, 1]], false);
true
gap> IsInStandardForm([[1, 3, 2, 7]]);
true
gap> IsInStandardForm(HadamardMat(4));
false
GAP 3.4.4