FilteredComplex _ ZZ -- the filtered pieces

Synopsis

Operator: _
Usage:

C = K _ j
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_0 K_1 K_2 K^(-1) K^(-2) K_infinity K_(-infinity) K^(- infinity) K^infinity

Ways to use this method:

FilteredComplex _ InfiniteNumber
FilteredComplex _ ZZ -- the filtered pieces

FilteredComplex _ ZZ -- the filtered pieces

Synopsis

Description

See also

Ways to use this method: