Macaulay2
»
Documentation
Packages
»
ChainComplexExtras
::
cartanEilenbergResolution(...,LengthLimit=>...)
next
|
previous
|
forward
|
backward
| up |
index
|
toc
cartanEilenbergResolution(...,LengthLimit=>...) -- How many steps to compute
Synopsis
Usage:
m = cartanEilenbergResolution(C,LengthLimit => n)
Inputs:
C
,
a
chain complex
,
n
,
an
integer
, non-negative integer or infinity
Outputs:
m
,
a
chain complex map
,
Description
Computes LengthLimit steps beyond the length of C
Further information
Default value:
infinity
Function:
cartanEilenbergResolution
-- Computes free resolution of a ChainComplex
Option key:
LengthLimit
-- stop when the resolution reaches this length
Functions with optional argument named
LengthLimit
:
cartanEilenbergResolution(...,LengthLimit=>...)
-- How many steps to compute
isExact(...,LengthLimit=>...)
-- Option to check exactness only up to a particular homological degree
isQuasiIsomorphism(...,LengthLimit=>...)
-- Option to check quasi-isomorphism only up to a certain point
koszulComplex(...,LengthLimit=>...)
-- How many steps to compute
minimalBetti(...,LengthLimit=>...)
-- see
minimalBetti
-- minimal betti numbers of (the minimal free resolution of) a homogeneous ideal or module
resolution(...,LengthLimit=>...)
-- stop when the resolution reaches this length
resolutionOfChainComplex(...,LengthLimit=>...)
-- How many steps to compute
taylorResolution(...,LengthLimit=>...)
-- How many steps to compute