freeProduct -- Define the free product of two algebras

• Usage:

  C = freeProduct(A,B)

• Inputs:
  • A, a ring,
  • B, a ring,
• Outputs:
  • C, a quotient of a free algebra, or FreeAlgebra

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)
Warning:  F4 Algorithm not available over current coefficient ring or inhomogeneous ideal.
Converting to Naive algorithm.

o3 = C

o3 : FreeAlgebraQuotient