spectralSequence(FilteredComplex) -- construct a spectral sequence from a filtered complex

• Function: spectralSequence

• Usage:

  E = spectralSequence K

• Inputs:
  • K, a filtered chain complex, A filtered complex
• Optional inputs:
  • Prune => ..., default value false,
• Outputs:
  • E, a spectral sequence,

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 : E = spectralSequence K

o4 = E

o4 : SpectralSequence