This function returns the free product of the algebras A and B.
i1 : A = QQ<|x,y,z|> o1 = A o1 : FreeAlgebra |
i2 : B = skewPolynomialRing(QQ,(-1)_QQ, {a,b,c}) o2 = B o2 : FreeAlgebraQuotient |
i3 : C = freeProduct(A,B) o3 = C o3 : FreeAlgebraQuotient |
The object freeProduct is a method function.