GROEBFULLREDUCTION _ _ _ _ _ _ _ _ _ _ _ _ switch
If groebfullreduction set off, the polynomial reduction steps during groebner and groebnerf are limited to the pure head term reduction; subsequent terms are reduced otherwise.
By default groebfullreduction is on.