This is the type for a Groebner basis of an ideal in the tensor algebra. One can provide one using the ncGroebnerBasis(...,InstallGB=>...) option of ncGroebnerBasis if you happen to know it.
One also can have Macaulay2 call Bergman and have it computed via the function twoSidedNCGroebnerBasisBergman. This command is automatically called when defining a quotient ring, if the defining ideal does not yet have a cached Groebner basis.
You can also install one from a Bergman output file if you have that handy; see gbFromOutputFile.
Below are a couple of examples.
|
|
|
|
Note that after the InstallGB flag is set, no checking is done to ensure that the input is in fact a Groebner basis.
|
|
|
|
|
|
|
|
|
stuff
The object NCGroebnerBasis is a type, with ancestor classes HashTable < Thing.