top
|
index
|
Macaulay2 web site
ChainComplexExtras : Table of Contents
ChainComplexExtras
-- More ChainComplex Functionality.
chainComplexMap
-- Defines a ChainComplexMap via a list of matrices.
chainComplexMap(..., InitialDegree => ...)
-- Specify initial degree.
Hom(ChainComplex,ChainComplex)
-- Create the homomorphism complex of a pair of chain complexes.
InitialDegree
-- Used to specify an initial degree for chainComplexMap.
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.
resolution(ChainComplex)
-- Resolves a ChainComplex.
substitute(ChainComplex,Ring)
-- Change the ring over which the ChainComplex is defined.
taylor
-- Gives the nth differential in the Taylor resolution of a monomial ideal I.
taylorResolution
-- Gives the Taylor resolution of a monomial ideal I.