top
|
toc
|
Macaulay2 web site
ChainComplexExtras : Index
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
ChainComplexExtras
-- More ChainComplex Functionality.
chainComplexMap
-- Defines a ChainComplexMap via a list of matrices.
chainComplexMap(..., InitialDegree => ...)
-- Specify initial degree.
chainComplexMap(ChainComplex,ChainComplex,List)
-- Defines a ChainComplexMap via a list of matrices.
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.
isChainComplex(ChainComplex)
-- Test to see if the ChainComplex has square zero differential.
isChainComplexMap
-- Test to see if the ChainComplexMap commutes with the differentials.
isChainComplexMap(ChainComplexMap)
-- Test to see if the ChainComplexMap commutes with the differentials.
isExact
-- Test to see if the ChainComplex is exact.
isExact(ChainComplex)
-- Test to see if the ChainComplex is exact.
isQuism
-- Test to see if the ChainComplexMap is a quasiisomorphism.
isQuism(ChainComplexMap)
-- Test to see if the ChainComplexMap is a quasiisomorphism.
koszulComplex
-- Gives the Koszul complex on the generators of I.
koszulComplex(Ideal)
-- 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.
taylor(ZZ,MonomialIdeal)
-- Gives the nth differential in the Taylor resolution of a monomial ideal I.
taylorResolution
-- Gives the Taylor resolution of a monomial ideal I.
taylorResolution(MonomialIdeal)
-- Gives the Taylor resolution of a monomial ideal I.