GB.Start_GBasis(M:IDEAL or MODULE):NULL

start interactive Groebner basis computation

This command starts the Interactive Groebner Framework for
calculating a Groebner basis for M.  For explanations and examples,
see 'The Interactive Groebner Framework'.

• The Interactive Groebner Framework