GradedModuleMap | GradedModuleMap -- a binary operator, often used for horizontal concatenation

Synopsis

• Operator: |

• Usage:

  f|g

• Inputs:
  • f, a graded module map
  • g, a graded module map
• Outputs:
  • the map of graded modules whose component in degree i is f_i|g_i see Matrix | Matrix

Description

i1 : f = gradedModuleMap( matrix "1;2", matrix "2,3" )

          2              1
o1 = 0: ZZ  <--| 1 |-- ZZ  :0
               | 2 |

          1                2
     1: ZZ  <--| 2 3 |-- ZZ  :1

o1 : GradedModuleMap

i2 : f|f

          2                2
o2 = 0: ZZ  <--| 1 1 |-- ZZ  :0
               | 2 2 |

          1                    4
     1: ZZ  <--| 2 3 2 3 |-- ZZ  :1

o2 : GradedModuleMap