CompleteIntersectionResolutions : Table of Contents
- CompleteIntersectionResolutions -- "Resolution over a Complete Intersection"
- ARanks -- ranks of the modules A_i(d) in a matrixFactorization
- bMaps -- list the maps d_p:B_1(p)-->B_0(p) in a matrixFactorization
- BRanks -- ranks of the modules B_i(d) in a matrixFactorization
- Check -- Option for matrixFactorization
- complexity -- complexity of a module over a complete intersection
- cosyzygyRes -- cosyzygy chain of a Cohen-Macaulay module over a Gorenstein ring
- dMaps -- list the maps d(p):A_1(p)--> A_0(p) in a matrixFactorization
- evenExtModule -- even part of Ext^*(M,k) over a complete intersection as module over CI operator ring
- exteriorTorModule -- Homology of a complex **k as a module over an exterior algebra
- ExtModule -- Ext^*(M,k) over a complete intersection as module over CI operator ring
- ExtModuleData -- Even and odd Ext modules and their regularity
- finiteBettiNumbers -- betti numbers of finite resolution computed from a matrix factorization
- freeExteriorSummand -- find the free summands of a module over an exterior algebra
- hfModuleAsExt -- predict betti numbers of moduleAsExt(M,R)
- highSyzygy -- Returns a syzygy module one beyond the regularity of Ext(M,k)
- hMaps -- list the maps h(p): A_0(p)--> A_1(p) in a matrixFactorization
- infiniteBettiNumbers -- betti numbers of finite resolution computed from a matrix factorization
- isLinear -- check whether matrix entries have degree 1
- koszulExtension -- creates the Koszul extension complex of a map
- makeFiniteResolution -- finite resolution of a matrix factorization module M
- makeHomotopies -- returns a system of higher homotopies
- makeHomotopies1 -- returns a system of first homotopies
- makeModule -- realize a free module with (anti)-commuting operators as a module
- makeT -- make the CI operators on a complex
- matrixFactorization -- Maps in a higher codimension matrix factorization
- mfBound -- determines how high a syzygy to take for "matrixFactorization"
- moduleAsExt -- Find a module with given assymptotic resolution
- oddExtModule -- odd part of Ext^*(M,k) over a complete intersection as module over CI operator ring
- Optimism -- Option to highSyzygy
- psiMaps -- list the maps psi(p): B_1(p) --> A_0(p-1) in a matrixFactorization
- S2 -- Universal map to a module satisfying Serre's condition S2
- splittings -- compute the splittings of a split right exact sequence
- sumTwoMonomials -- tally the sequences of BRanks for certain examples
- TateResolution -- TateResolution of a module over an exterior algebra
- toArray -- makes an array from a List or from a single integer
- twoMonomials -- tally the sequences of BRanks for certain examples