next | previous | forward | backward | up | top | index | toc | Macaulay2 website
AssociativeAlgebras :: freeProduct

freeProduct -- Define the free product of two algebras

Synopsis

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})

o2 = B

o2 : FreeAlgebraQuotient
i3 : C = freeProduct(A,B)

o3 = C

o3 : FreeAlgebraQuotient

Ways to use freeProduct :

For the programmer

The object freeProduct is a method function.