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.
Go to main index.
Go to concepts index.