MultigradedBGG : Index

• degree(DifferentialModule) -- returns the degree of the differential
• differential -- returns the differential of a differential module
• differential(DifferentialModule) -- returns the differential of a differential module
• DifferentialModule -- The class of differential modules.
• differentialModule -- converts a square zero matrix into a differential module
• differentialModule(Complex) -- converts a complex into a differential module
• differentialModule(Matrix) -- converts a square zero matrix into a differential module
• dualRingToric -- computes the Koszul dual of a multigraded polynomial ring or exterior algebra
• dualRingToric(...,SkewVariable=>...) -- computes the Koszul dual of a multigraded polynomial ring or exterior algebra
• dualRingToric(...,Variable=>...) -- computes the Koszul dual of a multigraded polynomial ring or exterior algebra
• dualRingToric(PolynomialRing) -- computes the Koszul dual of a multigraded polynomial ring or exterior algebra
• foldComplex -- converts a chain complex into a differential module
• foldComplex(Complex,ZZ) -- converts a chain complex into a differential module
• HH DifferentialModule -- computes the homology of a differential module
• image(DifferentialModule) -- computes the image of the differential of a differential module
• kernel(DifferentialModule) -- computes the kernel of the differential in a differential module.
• minimizeDM -- minimizes a square matrix or a differential module
• minimizeDM(DifferentialModule) -- minimizes a square matrix or a differential module
• module(DifferentialModule) -- computes the underlying module of a differential module.
• MultigradedBGG -- Package for working with Multigraded BGG and Differential Modules
• resDM -- uses a "killing cycles"-style construction to find a free resolution of a differential module
• resDM(DifferentialModule) -- uses a "killing cycles"-style construction to find a free resolution of a differential module
• resDM(DifferentialModule,ZZ) -- uses a "killing cycles"-style construction to find a free resolution of a differential module
• resMinFlag -- gives a minimal free flag resolution of a differential module of degree 0
• resMinFlag(DifferentialModule,ZZ) -- gives a minimal free flag resolution of a differential module of degree 0
• ring(DifferentialModule) -- returns the ring of a differential module.
• stronglyLinearStrand -- computes the strongly linear strand of the minimal free resolution of a finitely generated graded module over a multigraded polynomial ring, provided the module is generated in a single degree.
• stronglyLinearStrand(Module) -- computes the strongly linear strand of the minimal free resolution of a finitely generated graded module over a multigraded polynomial ring, provided the module is generated in a single degree.
• toricLL -- computes the BGG functor of a module over the Koszul dual exterior algebra of a multigraded polynomial ring
• toricLL(Module) -- computes the BGG functor of a module over the Koszul dual exterior algebra of a multigraded polynomial ring
• toricRR -- computes the BGG functor of a module over a multigraded polynomial ring.
• toricRR(Module) -- computes the BGG functor of a module over a multigraded polynomial ring.
• toricRR(Module,List) -- computes the BGG functor of a module over a multigraded polynomial ring.
• unfold -- converts a differential module into a 1-periodic complex
• unfold(DifferentialModule,ZZ,ZZ) -- converts a differential module into a 1-periodic complex