CompleteIntersectionResolutions : Table of Contents
-
ARanks -- ranks of the modules A_i(d) in a matrixFactorization
-
BGGL -- Exterior module to linear complex
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
expo -- returns a set corresponding to the basis of a divided power
-
-
-
-
ExtModule -- Ext^*(M,k) over a complete intersection as module over CI operator ring
-
extVsCohomology -- compares Ext_S(M,k) as exterior module with coh table of sheaf Ext_R(M,k)
finiteBettiNumbers -- betti numbers of finite resolution computed from a matrix factorization
-
hf -- Computes the hilbert function in a range of degrees
-
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
-
-
isLinear -- check whether matrix entries have degree 1
isQuasiRegular -- tests a matrix or sequence or list for quasi-regularity on a module
-
-
Layered -- Option for matrixFactorization
-
-
-
-
-
-
makeModule -- makes a Module out of a collection of modules and maps
makeT -- make the CI operators on a complex
-
mfBound -- determines how high a syzygy to take for "matrixFactorization"
moduleAsExt -- Find a module with given asymptotic resolution
oddExtModule -- odd part of Ext^*(M,k) over a complete intersection as module over CI operator ring
-
OutRing -- Option allowing specification of the ring over which the output is defined
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
Shamash -- Computes the Shamash Complex
splittings -- compute the splittings of a split right exact sequence
stableHom -- map from Hom(M,N) to the stable Hom module
-
-
-
toArray -- makes an array from a List or from a single integer
twoMonomials -- tally the sequences of BRanks for certain examples