ChainComplexExtras -- More ChainComplex Functionality.
Version
This documentation describes version 0.5 of ChainComplexExtras.
Source code
The source code from which this documentation is derived is in the file
ChainComplexExtras.m2.
Exports
Functions
- chainComplexMap -- Defines a ChainComplexMap via a list of matrices.
- isChainComplex -- Test to see if the ChainComplex has square zero differential.
- isChainComplexMap -- Test to see if the ChainComplexMap commutes with the differentials.
- isExact -- Test to see if the ChainComplex is exact.
- isQuism -- Test to see if the ChainComplexMap is a quasiisomorphism.
- koszulComplex -- Gives the Koszul complex on the generators of I.
- taylor -- Gives the nth differential in the Taylor resolution of a monomial ideal I.
- taylorResolution -- Gives the Taylor resolution of a monomial ideal I.
Symbols
- InitialDegree -- Used to specify an initial degree for chainComplexMap.