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 |