ChainComplex _ ZZ = Thing -- install component of chain complex

Synopsis

• Operator: _

• Usage:

  C_i = M

• Inputs:
  • C
  • i
  • M
• Outputs:
  • install M as the i-th module of the chain complex C

Description

i1 : R = ZZ[x..z]

o1 = R

o1 : PolynomialRing

i2 : C = chainComplex R

o2 = 0

o2 : ChainComplex

i3 : C_2 = R^11

      11
o3 = R

o3 : R-module, free

i4 : C_4 = R^13

      13
o4 = R

o4 : R-module, free

i5 : C

      11            13
o5 = R   <-- 0 <-- R
                    
     2       3     4

o5 : ChainComplex

See also

• ChainComplexMap _ ZZ = Thing -- install component of chain complex map