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 paramters
- projectiveProduct(Matrix,List) -- Makes a product of projective spaces and a system of paramters
- projectiveProduct(Ring,List) -- Makes a product of projective spaces and a system of paramters
- 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