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 and commands
- 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.