Macaulay2
»
Documentation
Packages
»
OldChainComplexes
::
Index
next | previous | forward | backward | up |
index
|
toc
OldChainComplexes : 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
betti(...,Minimize=>...)
-- minimal betti numbers of a non-minimal free resolution
betti(ChainComplex)
-- Betti diagram showing the of degrees in a graded module or chain complex
betti(GradedModule)
-- Betti diagram showing the of degrees in a graded module or chain complex
chain complexes
-- legacy implementation of chain complexes
ChainComplex
-- the class of all chain complexes
chainComplex
-- make a chain complex
ChainComplex ** ChainComplex
-- tensor product
ChainComplex ** ChainComplexMap
-- tensor product
ChainComplex ** GradedModule
-- tensor product
ChainComplex ** Module
-- tensor product
ChainComplex ** Ring
ChainComplex ++ ChainComplex
-- direct sum
ChainComplex ^ Array
-- projection onto summand
ChainComplex ^ ZZ
-- access member, cohomological degree
ChainComplex _ Array
-- inclusion from summand
ChainComplex _ ZZ
-- component
ChainComplex _ ZZ = Thing
-- install component of chain complex
ChainComplex Array
-- degree shift
chainComplex(GradedModule)
-- make a chain complex from a graded module
chainComplex(List)
-- make a chain complex
chainComplex(Matrix)
-- make a small chain complex
chainComplex(Ring)
-- make an empty chain complex over a ring
chainComplex(Sequence)
-- make a chain complex
ChainComplexMap
-- the class of all maps between chain complexes
ChainComplexMap ** ChainComplex
-- tensor product
ChainComplexMap ** ChainComplexMap
-- tensor product
ChainComplexMap ** Module
-- tensor product
ChainComplexMap ++ ChainComplexMap
-- direct sum
ChainComplexMap ^ ZZ
-- iterated composition
ChainComplexMap _ Array
-- component of map corresponding to summand of source
ChainComplexMap _ ZZ
-- component map
ChainComplexMap _ ZZ = Thing
-- install component of chain complex map
ChainComplexMap Array
-- degree shift
complete(ChainComplex)
-- complete the internal parts
complete(ChainComplexMap)
complete(GradedModule)
components(ChainComplex)
computing resolutions
cone(ChainComplexMap)
dd
-- differential in a chain complex
dual(ChainComplex)
-- dual
dual(ChainComplexMap)
-- dual of a chain complex
extend(...,Verify=>...)
extend(ChainComplex,ChainComplex,Matrix)
extracting information from chain complexes
FastNonminimal
-- compute a non-minimal graded free resolution
free resolutions of modules
GradedModule
-- the class of all graded modules
GradedModule ** ChainComplex
-- tensor product
GradedModule ** GradedModule
GradedModule ** Module
GradedModule ++ GradedModule
-- direct sum
GradedModule _ ZZ
-- component
GradedModule Array
-- degree shift
gradedModule(ChainComplex)
-- make a graded module
gradedModule(List)
-- make a graded module
gradedModule(Module)
-- make a graded module
gradedModule(Sequence)
-- make a graded module
GradedModuleMap
-- the class of all maps between graded modules
gradedModuleMap
-- make a map of graded modules
GradedModuleMap ^ ZZ
-- iterated composition
GradedModuleMap _ Array
-- component of map corresponding to summand of source
GradedModuleMap _ ZZ
-- component map
GradedModuleMap | GradedModuleMap
GradedModuleMap || GradedModuleMap
gradedModuleMap(List)
-- make a map of graded modules
gradedModuleMap(Matrix)
-- make a map of graded modules
gradedModuleMap(Sequence)
-- make a map of graded modules
HH ChainComplex
-- homology of a chain complex
HH ChainComplexMap
-- homology of a chain complex map
HH^ZZ ChainComplex
-- cohomology of a chain complex
HH^ZZ ChainComplexMap
-- cohomology of a chain complex map
HH_ZZ ChainComplex
-- homology of a chain complex
HH_ZZ ChainComplexMap
-- homology of a chain complex map
Hom(ChainComplex,Module)
-- the Hom functor
Hom(ChainComplexMap,Module)
-- the Hom functor
Hom(Module,ChainComplex)
-- the Hom functor
Hom(Module,ChainComplexMap)
-- the Hom functor
kernel(ChainComplexMap)
-- kernel of a chain complex map
kernel(GradedModuleMap)
-- kernel of a chain complex map
length(ChainComplex)
-- length of a chain complex or graded module
length(GradedModule)
-- length of a graded module
making chain complexes by hand
manipulating chain complexes
map(ChainComplex,ChainComplex,Function)
-- make a map of chain complexes
map(GradedModule,GradedModule,Function)
-- make a map of chain complexes
maps between chain complexes
max(GradedModule)
min(GradedModule)
Module ** ChainComplex
-- tensor product
Module ** ChainComplexMap
-- tensor product
Module ** GradedModule
new ChainComplex
-- make a new chain complex from scratch
nullhomotopy
-- make a null homotopy
nullhomotopy(ChainComplexMap)
-- make a null homotopy
OldChainComplexes
-- legacy implementation of chain complexes
poincare(ChainComplex)
-- assemble degrees of a chain complex into a polynomial
poincareN(ChainComplex)
-- assemble degrees into polynomial
regularity(ChainComplex)
-- compute the Castelnuovo-Mumford regularity
Resolution
-- the class of all resolution computations
resolution
-- projective resolution
resolution(...,DegreeLimit=>...)
-- compute only up to this degree
resolution(...,FastNonminimal=>...)
-- compute a non-minimal graded free resolution
resolution(...,HardDegreeLimit=>...)
resolution(...,LengthLimit=>...)
-- stop when the resolution reaches this length
resolution(...,PairLimit=>...)
-- stop when this number of pairs has been handled
resolution(...,SortStrategy=>...)
resolution(...,StopBeforeComputation=>...)
-- whether to stop the computation immediately
resolution(...,Strategy=>...)
resolution(...,SyzygyLimit=>...)
-- stop when this number of syzygies is reached
resolution(Ideal)
-- compute a projective resolution of (the quotient ring corresponding to) an ideal
resolution(Matrix)
-- compute the comparison map between resolutions of the source and target of a module map represented by a matrix
resolution(Module)
-- compute a free resolution of a module
Ring ^ BettiTally
-- construct a chain complex with prescribed Betti table
source(ChainComplexMap)
-- find the source of a map of chain complexes
source(GradedModuleMap)
-- find the source of a map of graded modules
status(...,Monomials=>...)
-- status of a resolution computation
status(...,PairsRemaining=>...)
-- status of a resolution computation
status(...,TotalPairs=>...)
-- status of a resolution computation
status(ChainComplex)
-- status of a resolution computation
status(Resolution)
-- status of a resolution computation
sum(ChainComplex)
-- direct sum of the components of a chain complex
sum(ChainComplexMap)
-- direct sum of the components of a chain map
syzygyScheme
-- construct a syzygy scheme
target(ChainComplexMap)
-- find the target of a map of chain complexes
target(GradedModuleMap)
-- find the target of a map of graded modules
transpose(ChainComplexMap)
-- transpose a map of chain complexes