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

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