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 either QQ, ZZ/p or GF(q).
i1 : A = QQ<|x,y,z|> o1 = A o1 : FreeAlgebra |
i2 : I = ideal { x*y + y*x - 2*z^2,
y*z + z*y - 2*x^2,
z*x + x*z - 2*y^2}
2 2 2
o2 = ideal (x*y + y*x - 2z , - 2x + y*z + z*y, x*z - 2y + z*x)
o2 : Ideal of A
|
i3 : Igb = NCGB(I,10)
o3 = | xy+yx-2z2 x2-1/2yz-1/2zy xz-2y2+zx y2z-zy2 yz2-z2y |
1 5
o3 : Matrix A <--- A
|
The object NCGB is a method function with options.