DisplayMatRecord( rec [, layer] )
SetPrintLevelFlag( rec, i )
PrintLevelFlag( rec )
rec is the record returned either by
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
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
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.
Previous Up Top Next