twoSidedNCGroebnerBasisBergman I
This command calls the computer algebra system Bergman to compute a noncommutative Groebner basis.
Since Groebner bases in the tensor algebra need not be finitely generated, one should specify a degree limit on the computation unless one has a reason to believe the Groebner basis is finite.
|
|
|
|
|
|
The object twoSidedNCGroebnerBasisBergman is a method function with options.
The source of this document is in /build/reproducible-path/macaulay2-1.25.05+ds/M2/Macaulay2/packages/NCAlgebra/NCAlgebraDoc.m2:1714:0.