FilteredComplex _ ZZ -- the filtered pieces

Synopsis

Usage:

C = K _ j
Operator: _
Inputs:
- K, a filtered chain complex
- j, an integer, an integer, infinity, or -infinity
Outputs:
- C, a chain complex

Description

Returns the chain complex in (homological) filtration degree j. The relationship K _j = K ^(-j) holds. Example A = QQ[x,y]; C = koszul vars A; K = filteredComplex C K₀ K₁ K₂ K⁽-1) K⁽-2) K_infinity K₍-infinity) K⁽- infinity) Kⁱnfinity

FilteredComplex _ ZZ -- the filtered pieces

Synopsis

Description

See also