getGenerators(...,DegreeLimit=>...) -- Last homological degree in which to search for algebra generators

Caps the homological degree of candidates considered by getGenerators. When the underlying DG algebra has generators in even degree, this option is required to make the search finite.

Functions with optional argument named DegreeLimit:

• compose(Module,Module,Module,DegreeLimit=>...) -- see compose -- composition as a pairing on Hom-modules
• deviations(...,DegreeLimit=>...) -- Maximum homological degree to which deviations are computed
• deviationsToPoincare(...,DegreeLimit=>...) -- see deviationsToPoincare -- Computes the power series corresponding to a set of deviations.
• End(...,DegreeLimit=>...) -- see End -- module of endomorphisms
• epicResolutionMap(...,DegreeLimit=>...) (missing documentation)
• gb(...,DegreeLimit=>...) -- see gb -- compute a Gröbner basis
• getGenerators(...,DegreeLimit=>...) -- Last homological degree in which to search for algebra generators
• Hom(...,DegreeLimit=>...) -- see Hom -- module of homomorphisms
• homomorphism'(...,DegreeLimit=>...) -- see homomorphism' -- get the element of Hom from a homomorphism
• minimalBetti(...,DegreeLimit=>...) -- see minimalBetti -- minimal betti numbers of (the minimal free resolution of) a homogeneous ideal or module
• normalCone(Ideal,DegreeLimit=>...) (missing documentation)
• normalCone(Ideal,RingElement,DegreeLimit=>...) (missing documentation)
• freeResolution(...,DegreeLimit=>...) -- see Options for free resolutions -- optional arguments for freeResolution
• pushForward(...,DegreeLimit=>...) -- see pushForward(RingMap,Module) -- compute the pushforward of a module along a ring map
• quotient(...,DegreeLimit=>...) (missing documentation)
• resolutionMap(...,DegreeLimit=>...) -- see resolutionMap -- map from a free resolution to the given complex
• saturate(...,DegreeLimit=>...) (missing documentation)
• syz(...,DegreeLimit=>...) -- see syz(Matrix) -- compute the syzygy matrix

Further information

• Default value: -1
• Function: getGenerators -- Cycles whose classes generate the homology algebra of a DG algebra
• Option key: DegreeLimit -- an optional argument