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