filteredComplex -- make a filtered complex

Synopsis

• Usage:

  K = filteredComplex L

• Inputs:
  • L, a list, or
  • L, a chain complex, or
  • L, a spectral sequence,
• Optional inputs:
  • ReducedHomology => a Boolean value, default value true,
  • Shift => an integer, default value 0,
• Outputs:
  • K, a filtered chain complex,

Description

See also

• FilteredComplex -- the type of all filtered complexes
• How to make filtered complexes from chain complex maps
• Filtrations and tensor product complexes
• Filtrations and homomorphism complexes
• Filtered complexes and simplicial complexes