forceGB
forceGB f -- declares that the columns of the matrix f
constitute a Groebner basis, and returns a Groebner basis object
encapsulating that assertion.
Optional arguments for providing additional information:
We should probably rename this function or incorporate it into
gb somehow.
