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. |