up previous next

5.1.11 Options in the GROEBNER Panel

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

example

    
Panel(GROEBNER);

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