-- -*- M2-comint -*- hash: 543254786693792566

i1 : A = freeAlgebra(QQ,{x,y,z})

o1 = A

o1 : FreeAlgebra

i2 : use A

o2 = A

o2 : FreeAlgebra

i3 : assert(x == A_0)

i4 : B = freeAlgebra(QQ,{x,y,a,b,c,Weights=>{1,1,0,0,0},Degrees=>{1,1,3,3,2}})

o4 = B

o4 : FreeAlgebra

i5 : I = ideal {a - x*y*x, b - y*x*y, c - x*y}

o5 = ideal (- x*y*x + a, - y*x*y + b, - x*y + c)

o5 : Ideal of B

i6 : Igb = NCGB(I,10)
Warning:  F4 Algorithm not available over current coefficient ring or inhomogeneous ideal.
Converting to Naive algorithm.

o6 = | xy-c cx-a yc-b ay-c2 ya-bx xb-c2 c3-ab abx-c2a abc-cab |

             1      9
o6 : Matrix B  <-- B

i7 : 
