This function returns the algebra that contains A and B as a subalgebra, with the commutation law on the images of A and B given by a*b = q*b*a for all a in A and b in B. In the case of A ** B, q = 1.
i1 : A = QQ<|x,y|>
o1 = A
o1 : FreeAlgebra
|
i2 : B = skewPolynomialRing(QQ,(-1)_QQ, {a,b})
Warning: F4 Algorithm not available over current coefficient ring or inhomogeneous ideal.
Converting to Naive algorithm.
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|>
|