NCRingMap @@ NCRingMap -- Compose two NCRingMaps

Synopsis

• Operator: @@

• Usage:

  f @@ g

• Inputs:
  • f, an instance of the type NCRingMap,
  • g, an instance of the type NCRingMap,
• Outputs:
  • an instance of the type NCRingMap,

Description

i1 : A = QQ{x,y}

o1 = A

o1 : NCPolynomialRing

i2 : f = ncMap(A,A,{x^2,y^2})

o2 = NCRingMap A <--- A

o2 : NCRingMap

i3 : g = ncMap(A,A,{x+y,y})

o3 = NCRingMap A <--- A

o3 : NCRingMap

i4 : gens A/f @@ g

       2  2   2
o4 = {y +x , y }

o4 : List

i5 : gens A/g @@ f

       2        2   2
o5 = {y +yx+xy+x , y }

o5 : List