previous  next
4.1.11. Options in the GROEBNER Panel
The options in the GROEBNER panel and their default settings are as
follows:
Panel(GROEBNER);

Sugar........... : TRUE
FullRed......... : TRUE
SingleStepRed... : FALSE
Verbose......... : FALSE
-------------------------------

They are discussed separately, below.