TateOnProducts : Index
- appendZeroMap -- append a zero map to chain complex
- appendZeroMap(ChainComplex) -- append a zero map to chain complex
- beilinsonWindow -- extract the subquotient complex which contributes to the Beilinson window
- beilinsonWindow(ChainComplex) -- extract the subquotient complex which contributes to the Beilinson window
- boxDegrees (missing documentation)
- chainComplexMap -- Defines a ChainComplexMap via a list of matrices.
- chainComplexMap(ChainComplex,ChainComplex,List) -- Defines a ChainComplexMap via a list of matrices.
- cohomologyTable -- compute the the cohomology groups of a (part) of a Tate resolution or sheaf on products of projective spaces
- cohomologyTable(ChainComplex,List,List) -- compute the the cohomology groups of a (part) of a Tate resolution or sheaf on products of projective spaces
- cornerCohomologyTablesOfUa -- cohomology tables of Ua and related complexes - Example 3.6
- cornerCohomologyTablesOfUa(List) -- cohomology tables of Ua and related complexes - Example 3.6
- cornerCohomologyTablesOfUa(List,List) -- cohomology tables of Ua and related complexes - Example 3.6
- cornerComplex -- form the corner complex
- cornerComplex(ChainComplex,List) -- form the corner complex
- cornerComplex1 (missing documentation)
- firstQuadrantComplex -- form the first quadrant complex
- firstQuadrantComplex(ChainComplex,List) -- form the first quadrant complex
- InitialDegree (missing documentation)
- isChainComplex -- checks whether the differentials compose to zero
- isChainComplex(ChainComplex) -- checks whether the differentials compose to zero
- isMinimalChainComplex -- tests for minimality
- isQuism -- Test to see if the ChainComplexMap is a quasiisomorphism.
- isQuism(ChainComplexMap) -- Test to see if the ChainComplexMap is a quasiisomorphism.
- lastQuadrantComplex -- form the last quadrant complex
- lastQuadrantComplex(ChainComplex,List) -- form the last quadrant complex
- lowerCorner -- compute the lower corner
- lowerCorner(ChainComplex,List) -- compute the lower corner
- minimize -- minimal quotient complex of a free ChainComplex
- minimize(ChainComplex) -- minimal quotient complex of a free ChainComplex
- nonzeroMax -- computes the homological position of the last non-zero module in a ChainComplex
- nonzeroMax(ChainComplex) -- 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
- nonzeroMin(ChainComplex) -- computes the homological position of the first non-zero module in a ChainComplex
- numFactors (missing documentation)
- prependZeroMap -- prepend a zero map to chain complex
- prependZeroMap(ChainComplex) -- prepend a zero map to chain complex
- pushAboveWindow -- push a projective resolution of the Beilinson complex out of the window
- pushAboveWindow(ChainComplex) -- push a projective resolution of the Beilinson complex out of the window
- regionComplex -- region complex
- regionComplex(ChainComplex,List,Sequence) -- region complex
- removeZeroTrailingTerms -- remove trailing zero terms of a chain complex
- removeZeroTrailingTerms(ChainComplex) -- remove trailing zero terms of a chain complex
- resolutionOfChainComplex -- free resolution of a chain complex
- resolutionOfChainComplex(ChainComplex) -- free resolution of a chain complex
- ringData (missing documentation)
- setupRings -- setup the Cox ring of a product of t projective space, and its exterior dual
- setupRings(Ring,List) -- 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
- sloppyTateExtension(ChainComplex) -- extend the terms in the Beilinson window to a part of a corner complex of the corresponding Tate resolution
- strand -- take the strand
- strand(ChainComplex,List,List) -- take the strand
- symExt -- from linear presentation matrices over S to linear presentation matrices over E and conversely
- symExt(Matrix,Ring) -- 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
- tallyDegrees(ChainComplex) -- collect the degrees of the generators of the terms in a free complex
- tateExtension (missing documentation)
- TateOnProducts -- Computation of parts of the Tate resolution on products
- trivialHomologicalTruncation -- return the trivial truncation of a chain complex
- trivialHomologicalTruncation(ChainComplex,ZZ,ZZ) -- return the trivial truncation of a chain complex
- truncateInE (missing documentation)
- upperCorner -- compute the upper corner
- upperCorner(ChainComplex,List) -- compute the upper corner