top
|
toc
|
Macaulay2 web site
Complexes : 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
Base
-- make a chain or cochain complex
betti(Complex)
-- display of degrees in a complex
Boundary
(missing documentation)
canonicalMap
(missing documentation)
Complex
-- the class of all chain or cochain complexes
complex
-- make a chain or cochain complex
Complex ** Complex
-- tensor product of complexes
Complex ** Module
-- tensor product of complexes
Complex ++ Complex
-- direct sum of complexes
Complex == Complex
-- whether two complexes are equal
Complex == ZZ
-- whether two complexes are equal
Complex ^ Array
-- the canonical inclusion or projection map of a direct sum
Complex ^ ZZ
-- access individual object in a complex
Complex _ Array
-- the canonical inclusion or projection map of a direct sum
Complex _ ZZ
-- access individual object in a complex
Complex Array
-- shift a complex
complex(HashTable)
-- make a chain or cochain complex
complex(Ideal)
-- make a chain or cochain complex of length zero
complex(List)
-- make a chain or cochain complex
complex(Module)
-- make a chain or cochain complex of length zero
complex(Ring)
-- make a chain or cochain complex of length zero
Complexes
-- Homological data types and routines
ComplexMap
-- the class of all homomorphisms of complexes
ComplexMap * ComplexMap
-- composition of homomorphisms of complexes
components(Complex)
-- list the components of a direct sum
concentration
-- indices on which a complex may be non-zero
concentration(Complex)
-- indices on which a complex may be non-zero
Cycle
(missing documentation)
cylinder
(missing documentation)
directSum(Complex)
-- direct sum of complexes
dual(Complex)
-- makes the dual of a complex
freeResolution
(missing documentation)
HH Complex
-- homology of a complex
HH^ZZ Complex
-- homology or cohomology module of a complex
HH_ZZ Complex
-- homology or cohomology module of a complex
Hom(Complex,Complex)
-- the complex of homomorphisms between two complexes
Hom(Complex,Module)
-- the complex of homomorphisms between two complexes
Hom(Module,Complex)
-- the complex of homomorphisms between two complexes
homotopic
(missing documentation)
homotopy
(missing documentation)
HomWithComponents
(missing documentation)
InternalDegree
(missing documentation)
isComplexMorphism
(missing documentation)
isHomogeneous(Complex)
-- whether a complex is homogeneous
isNullHomotopyOf
(missing documentation)
isQuasiIsomorphism
(missing documentation)
isSemifreeComplex
(missing documentation)
isWellDefined(Complex)
-- whether a complex is well-defined
length(Complex)
-- length of a complex
liftMapAlongQuasiIsomorphism
(missing documentation)
Making complexes
minimize
(missing documentation)
Module ** Complex
-- tensor product of complexes
naiveTruncation
(missing documentation)
nullHomotopic
(missing documentation)
nullHomotopy
(missing documentation)
Number * ComplexMap
-- composition of homomorphisms of complexes
randomComplexMap
(missing documentation)
ResolutionMap
(missing documentation)
resolutionMap
(missing documentation)
ring(Complex)
-- access the ring of a complex
RingElement * ComplexMap
-- composition of homomorphisms of complexes
UseTarget
(missing documentation)
ZZ == Complex
-- whether two complexes are equal