next | previous | forward | backward | up | top | index | toc | Macaulay2 web site

NCAlgebra :: freeProduct

freeProduct -- Define the free product of two algebras

Synopsis

Usage:
C = freeProduct(A,B)
Inputs:
- A, an object of class NCRing
- B, an object of class NCRing
Outputs:
- C, an object of class NCRing

Description

This function returns the free product of the algebras A and B.

i1 : A = QQ{x,y,z}

o1 = A

o1 : NCPolynomialRing

i2 : B = skewPolynomialRing(QQ,(-1)_QQ, {a,b,c})
--Calling Bergman for NCGB calculation.
--running: bergman -i /var/folders/46/9b86vqxj4hjcngvy7kd7sb140000gn/T/M2-12637-0/0.init -on-error exit --silent > /var/folders/46/9b86vqxj4hjcngvy7kd7sb140000gn/T/M2-12637-0/3.ter ... Complete!

o2 = B

o2 : NCQuotientRing

i3 : C = freeProduct(A,B)
--Calling Bergman for NCGB calculation.
--running: bergman -i /var/folders/46/9b86vqxj4hjcngvy7kd7sb140000gn/T/M2-12637-0/5.init -on-error exit --silent > /var/folders/46/9b86vqxj4hjcngvy7kd7sb140000gn/T/M2-12637-0/8.ter ... Complete!

o3 = C

o3 : NCQuotientRing

Ways to use `freeProduct` :

freeProduct(NCRing,NCRing)