TestTom( tom )
TestTom decomposes all tensor products of rows of the table of marks
tom. It returns true if all decomposition numbers are nonnegative
integers and false otherwise. This provides a strong consistency check
for a table of marks.
gap> TestTom( a5 );
true
GAP 3.4.4