freeProduct -- Define the free product of two algebras

Synopsis

• Usage:
C = freeProduct(A,B)
• Inputs:
• Outputs:

Description

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}) Using numthreads = 0 o2 = B o2 : FreeAlgebraQuotient i3 : C = freeProduct(A,B) Using numthreads = 0 o3 = C o3 : FreeAlgebraQuotient

Ways to use freeProduct :

• "freeProduct(Ring,Ring)"

For the programmer

The object freeProduct is .