DisplayMatRecord( rec [, layer] )
SetPrintLevelFlag( rec, i )
PrintLevelFlag( rec )
rec is the record returned either by RecogniseMatrixGroup or
ApproximateKernel. The optional argument layer is an integer between
1 and the last layer reached by the computation and i is an integer
between 1 and 3.
DisplayMatRecord prints the information contained in rec according to
three different print level settings. The print level is initially set to
1. This can be changed using SetPrintLevelFlag. We can
also examine the current print level using PrintLevelFlag.
At print level 1, we get basic information about the group; the field
over which it is written, its dimension and possibly its size. If layer
is specified, then we get this basic information about .quotient at
that layer.
At print level 2, we get the same basic information about the group as we
did at level 1 along with the basic information about .quotient at each
level. If layer is specified, then we get the same information as we
did at level 1.
At print level 3, we print the entire contents of rec. If layer is specified, then we print the part of rec that corresponds to layer.
GAP 3.4.4