TateOnProducts -- Computation of parts of the Tate resolution on products
-
beilinsonWindow -- extract the subquotient complex which contributes to the Beilinson window
boxDegrees (missing documentation)
-
cohomologyTable -- compute the the cohomology groups of a (part) of a Tate resolution or sheaf on products of projective spaces
-
-
cornerComplex1 (missing documentation)
-
InitialDegree (missing documentation)
-
-
isQuism -- Test to see if the ChainComplexMap is a quasiisomorphism.
-
-
minimize -- minimal quotient complex of a free ChainComplex
nonzeroMax -- computes the homological position of the last non-zero module in a ChainComplex
nonzeroMin -- computes the homological position of the first non-zero module in a ChainComplex
numFactors (missing documentation)
-
pushAboveWindow -- push a projective resolution of the Beilinson complex out of the window
-
-
-
ringData (missing documentation)
setupRings -- setup the Cox ring of a product of t projective space, and its exterior dual
sloppyTateExtension -- extend the terms in the Beilinson window to a part of a corner complex of the corresponding Tate resolution
-
symExt -- from linear presentation matrices over S to linear presentation matrices over E and conversely
tallyDegrees -- collect the degrees of the generators of the terms in a free complex
tateExtension (missing documentation)
-
truncateInE (missing documentation)
-