InfoDCE1
InfoDCE2
InfoDCE3
InfoDCE4
DCEInfoPrint
The level of information printed by the programs can be controlled by
setting the variables InfoDCE1
, InfoDCE2
, InfoDCE3
and
InfoDCE4
. These can be (sensibly) set to either DCEInfoPrint
or to
Ignore
. By default InfoDCE1
is set to DCEInfoPrint
and the rest to
Ignore
. Setting further variables to DCEInfoPrint
produces more
detailed comments. The higher numbered variables are intended mainly for
debugging.
GAP 3.4.4