chainComplex(FilteredComplex) -- the ambient chain complex of a filtered complex

Synopsis

• Function: chainComplex

• Usage:

  C = chainComplex K

• Inputs:
  • K, a filtered chain complex,
• Outputs:
  • C, a chain complex,

Description

i1 : A = QQ[x,y];

i2 : C = koszul vars A

      1      2      1
o2 = A  <-- A  <-- A
                    
     0      1      2

o2 : ChainComplex

i3 : K = filteredComplex C;

i4 : chainComplex K

      1      2      1
o4 = A  <-- A  <-- A
                    
     0      1      2

o4 : ChainComplex

i5 : K_infinity

      1      2      1
o5 = A  <-- A  <-- A
                    
     0      1      2

o5 : ChainComplex

See also

• FilteredComplex _ ZZ -- the filtered pieces
• FilteredComplex _ InfiniteNumber -- the filtered pieces
• FilteredComplex ^ ZZ -- the filtered pieces
• FilteredComplex ^ InfiniteNumber -- the filtered pieces