up previous next
5.1.11 Options in the GROEBNER Panel
***** NOT YET UPDATED TO CoCoA-5: follow with care *****

The options in the GROEBNER panel and their default settings are as follows:

Example
  Panel(GROEBNER);

Sugar........... : True
FullRed......... : True
SingleStepRed... : False
Verbose......... : False
-------------------------------