forceGB -- declare that the columns of a matrix are a Groebner basis

forceGB -- declare that the columns of a matrix are a Groebner basis

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 :

forceGB Matrix

Optional arguments :

forceGB(..., ChangeMatrix => ...) -- set the change of basis matrix

forceGB(..., MinimalMatrix) -- set the matrix of minimal generators

forceGB(..., SyzygyMatrix) -- set the syzygy matrix