GB.Step(M:IDEAL or MODULE):NULL
GB.Steps(M:IDEAL or MODULE, N:INT):NULL

take steps in an interactive Groebner-type calculation

The first function performs one step in a calculation started in the
Interactive Groebner Framework.  The second, performs N steps.  For
explanations and examples, see 'The Interactive Groebner Framework'.

• The Interactive Groebner Framework