forceGB f -- declares that the columns of the matrix f constitute a Groebner basis, and returns a Groebner basis object encapsulating that assertion.
We should probably rename this function or incorporate it into gb somehow.
Class of returned value: GroebnerBasis -- the class of all Groebner basesWays to use forceGB :
Optional arguments :