BGG : Index

• beilinson -- Vector bundle map associated to the Beilinson monad
• beilinson(Matrix,PolynomialRing) -- Vector bundle map associated to the Beilinson monad
• BGG -- Bernstein-Gel'fand-Gel'fand correspondence
• bgg -- the ith differential of the complex R(M)
• bgg(ZZ,Module,PolynomialRing) -- the ith differential of the complex R(M)
• cohomologyTable -- dimensions of cohomology groups
• cohomologyTable(CoherentSheaf,ZZ,ZZ) -- dimensions of cohomology groups
• cohomologyTable(Matrix,PolynomialRing,ZZ,ZZ) -- dimensions of cohomology groups
• directImageComplex -- direct image complex
• directImageComplex(...,Regularity=>...) -- direct image complex
• directImageComplex(ChainComplex) -- direct image of a chain complex
• directImageComplex(Matrix) -- map of direct image complexes
• directImageComplex(Module) -- Complex representing the direct image
• Exterior -- dual exterior algebra cached in a polynomial ring
• projectiveProduct -- Makes a product of projective spaces and a system of parameters
• projectiveProduct(Matrix,List) -- Makes a product of projective spaces and a system of parameters
• projectiveProduct(Ring,List) -- Makes a product of projective spaces and a system of parameters
• pureResolution -- creates a pure resolution as an iterated direct image
• pureResolution(Matrix,List) -- creates a pure resolution as an iterated direct image
• pureResolution(Ring,List) -- creates a pure resolution as an iterated direct image
• pureResolution(ZZ,List) -- creates a pure resolution as an iterated direct image
• pureResolution(ZZ,ZZ,List) -- creates a pure resolution as an iterated direct image
• Regularity -- Option for directImageComplex
• symExt -- the first differential of the complex R(M)
• symExt(Matrix,PolynomialRing) -- the first differential of the complex R(M)
• tateResolution -- finite piece of the Tate resolution
• tateResolution(Matrix,PolynomialRing,ZZ,ZZ) -- finite piece of the Tate resolution
• universalExtension -- Universal extension of vector bundles on P^1
• universalExtension(List,List) -- Universal extension of vector bundles on P^1