killCycles(...,Variable=>...) -- Option to name the DG algebra generators adjoined by killCycles

killCycles adjoins new DG generators that become boundaries of previously non-bounding cycles. The Variable option specifies the base name used for these new generators, so that subsequent calls produce readable and non-colliding names.

Functions with optional argument named Variable:

• acyclicClosure(...,Variable=>...) -- Option to name the DG algebra generators adjoined during acyclic closure
• adjoinVariables(...,Variable=>...) -- Option to name the DG algebra generators adjoined by adjoinVariables
• freeDGAlgebra(...,Variable=>...) -- see freeDGAlgebra -- Construct a free DG algebra with given generator degrees
• GF(...,Variable=>...) -- see GF -- make a finite field
• Grassmannian(...,Variable=>...) -- see Grassmannian -- compute the ideal of the Grassmannian of linear subspaces of a vector space
• idealizer(...,Variable=>...) -- Sets the name of the indexed variables introduced in computing the endomorphism ring Hom(J,J).
• integralClosure(...,Variable=>...) -- set the base letter for the indexed variables introduced while computing the integral closure
• killCycles(...,Variable=>...) -- Option to name the DG algebra generators adjoined by killCycles
• koszulComplexDGA(...,Variable=>...) -- see koszulComplexDGA -- The Koszul complex on the variables of a ring, as a DG algebra
• makeS2(...,Variable=>...) -- Sets the name of the indexed variables introduced in computing the S2-ification.
• minimalModel(...,Variable=>...) -- see minimalModel -- Build the minimal DG algebra resolution of a quotient ring
• normalCone(Ideal,RingElement,Variable=>...) (missing documentation)
• normalCone(Ideal,Variable=>...) (missing documentation)
• ringFromFractions(...,Variable=>...) -- see ringFromFractions -- find presentation for f.g. ring
• Schubert(...,Variable=>...) -- see Schubert -- compute the Plücker ideal of a Schubert variety

Further information

• Default value: null
• Function: killCycles -- Adjoin variables to kill non-bounding cycles in the lowest positive degree
• Option key: Variable -- an optional argument