-- -*- M2-comint -*- hash: 16428558304938465863

i1 : A = QQ<|x,y|>

o1 = A

o1 : FreeAlgebra

i2 : B = skewPolynomialRing(QQ,(-1)_QQ, {a,b})

o2 = B

o2 : FreeAlgebraQuotient

i3 : C = qTensorProduct(A,B,-1_QQ)
Warning:  F4 Algorithm not available over current coefficient ring or inhomogeneous ideal.
Converting to Naive algorithm.
Warning:  F4 Algorithm not available over current coefficient ring or inhomogeneous ideal.
Converting to Naive algorithm.

o3 = C

o3 : FreeAlgebraQuotient

i4 : ideal C

o4 = ideal (a*b + b*a, x*a + a*x, x*b + b*x, y*a + a*y, y*b + b*y)

o4 : Ideal of QQ <|x, y, a, b|>

i5 : D = A ** B
Warning:  F4 Algorithm not available over current coefficient ring or inhomogeneous ideal.
Converting to Naive algorithm.
Warning:  F4 Algorithm not available over current coefficient ring or inhomogeneous ideal.
Converting to Naive algorithm.

o5 = D

o5 : FreeAlgebraQuotient

i6 : ideal D

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

o6 : Ideal of QQ <|x, y, a, b|>

i7 : 
