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})
Warning: F4 Algorithm not available over current coefficient ring or inhomogeneous ideal.
Converting to Naive algorithm.
o2 = B
o2 : FreeAlgebraQuotient
i3 : C = freeProduct(A,B)
Warning: F4 Algorithm not available over current coefficient ring or inhomogeneous ideal.
Converting to Naive algorithm.
o3 = C
o3 : FreeAlgebraQuotient