freeProduct -- Define the free product of two algebras

Synopsis

• Usage:

  C = freeProduct(A,B)

• Inputs:
  • A, an instance of the type NCRing
  • B, an instance of the type NCRing
• Outputs:
  • C, an instance of the type NCRing

Description

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

o1 = A

o1 : NCPolynomialRing

i2 : B = skewPolynomialRing(QQ,(-1)_QQ, {a,b,c})
--Calling Bergman for NCGB calculation.
Complete!

o2 = B

o2 : NCQuotientRing

i3 : C = freeProduct(A,B)
--Calling Bergman for NCGB calculation.
Complete!

o3 = C

o3 : NCQuotientRing