arguments: gbasis >> matrix
Place the Groebner basis (as far as it has been computed) onto the stack.
