Macaulay2
»
Documentation
Packages
»
BoijSoederberg
::
Table of Contents
next | previous | forward | backward | up |
index
|
toc
BoijSoederberg : Table of Contents
BoijSoederberg
-- Betti diagram routines
BettiEliminationTally
-- Betti elimination table
bott
-- cohomology of Schur functors of tautological bundle on P^n
bott(List,ZZ)
-- cohomology of Schur functor of tautological bundle on P^n
bott(List,ZZ,ZZ)
-- cohomology table of Schur functor of tautological bundle on P^n
CohomologyTally
-- cohomology table
decompose(BettiTally)
-- write a Betti diagram as a positive combination of pure integral diagrams
decomposeBetti
-- write a Betti diagram as a positive combination of pure integral diagrams
decomposeDegrees
-- Find the degree sequences of pure diagrams occurring in a Boij-Soederberg decomposition of B
dotProduct
-- entry by entry dot product of two Betti diagrams
eliminateBetti
-- elimination table for a Betti diagram
EliminationSequence
-- option for eliminateBetti
facetEquation(List,ZZ,ZZ,ZZ)
-- The upper facet equation corresponding to (L,i)
HerzogKuhl
-- An argument for the option TableEntries
highestDegrees(BettiTally)
-- list of highest degree shifts
isMassEliminate
-- determines whether the Boij-Soederberg decomposition algorithm eliminates multiple Betti numbers at the same time
isPure(BettiTally)
-- is a Betti diagram pure?
LeastIntegerEntries
-- An argument for the option TableEntries
lowestDegrees(BettiTally)
-- list of lowest degree shifts
makeCI
-- Make the Betti diagram of a complete intersection ideal
makePureBetti(List)
-- list of Betti numbers corresponding to a degree sequence
makePureBettiDiagram
-- makes a pure Betti diagram given a list of degrees
mat2betti(Matrix,ZZ)
-- matrix to Betti diagram
mat2cohom
(missing documentation)
matrix(BettiTally,ZZ,ZZ)
-- Betti diagram to matrix
pureAll
-- Vector of first Betti number of our three specific exact complexes
pureBetti(List)
-- list of smallest integral Betti numbers corresponding to a degree sequence
pureBettiDiagram(List)
-- pure Betti diagram given a list of degrees
pureCharFree
-- first Betti number of specific exact complex
pureCohomologyTable(List,ZZ,ZZ)
-- pure cohomology table given zeros of Hilbert polynomial
pureTwoInvariant
-- first Betti number of specific exact complex
pureWeyman
-- first Betti number of specific exact complex
randomModule(List,ZZ)
-- module with random relations in prescribed degrees
randomSocleModule(List,ZZ)
-- random finite length module with prescribed number of socle elements in single degree
RealizationModules
-- An argument for the option TableEntries
supportFunctional
(missing documentation)
TableEntries
-- Set the convention for what kind of pure Betti diagrams to use in a decomposition.