Igb = NCGB(I,n)
This method performs a two-sided Groebner basis calculation of the ideal $I$ to the degree $n$ given. Possible strategies are "Naive", "F4" and "F4Parallel". If no integer is given, the Groebner basis is computed to twice the maximal degree of a generator. As usual, one must take care not to provide too high of a degree here, as Groebner bases may be infinite in the noncommutative case.
The current state of the algorithm requires the FreeAlgebra to be defined over a field, and the "F4" or "F4Parallel" strategies require the base ring to be a finite prime field $\Z/p$.
In order to control the number of cores used in the parallel algorithm, see parallelism in engine computations.
|
|
|
The object NCGB is a method function with options.