IntegralClosure : Index

• AllCodimensions -- a symbol denoting a strategy element usable with integralClosure(...,Strategy=>...)
• conductor -- the conductor of a finite ring map
• conductor(Ring) -- the conductor of a finite ring map
• conductor(RingMap) -- the conductor of a finite ring map
• ConductorElement -- Specifies a particular non-zerodivisor in the conductor.
• icFracP -- compute the integral closure in prime characteristic
• icFracP(...,ConductorElement=>...) -- Specifies a particular non-zerodivisor in the conductor.
• icFracP(...,Limit=>...) -- Limits the number of computed intermediate modules.
• icFracP(...,Verbosity=>...) -- Prints out the conductor element and the number of intermediate modules it computed.
• icFracP(Ring) -- compute the integral closure in prime characteristic
• icFractions -- fractions integral over an affine domain
• icFractions(Ring) -- fractions integral over an affine domain
• icMap -- natural map from an affine domain into its integral closure
• icMap(Ring) -- natural map from an affine domain into its integral closure
• icPIdeal -- compute the integral closure in prime characteristic of a principal ideal
• icPIdeal(RingElement,RingElement,ZZ) -- compute the integral closure in prime characteristic of a principal ideal
• idealizer -- compute Hom(I,I) as a quotient ring
• idealizer(...,Index=>...) -- Sets the starting index on the new variables used to build the endomorphism ring Hom(J,J)
• idealizer(...,Strategy=>...) -- compute Hom(I,I) as a quotient ring
• idealizer(...,Variable=>...) -- Sets the name of the indexed variables introduced in computing the endomorphism ring Hom(J,J).
• idealizer(...,Verbosity=>...) -- compute Hom(I,I) as a quotient ring
• idealizer(Ideal,RingElement) -- compute Hom(I,I) as a quotient ring
• Index -- Optional input for idealizer
• IntegralClosure -- routines for integral closure of affine domains and ideals
• integralClosure -- integral closure of an ideal or a domain
• integralClosure(...,Keep=>...) -- list ring generators which should not be simplified away
• integralClosure(...,Limit=>...) -- do a partial integral closure
• integralClosure(...,Strategy=>...) -- control the algorithm used
• integralClosure(...,Variable=>...) -- set the base letter for the indexed variables introduced while computing the integral closure
• integralClosure(...,Verbosity=>...) -- display a certain amount of detail about the computation
• integralClosure(Ideal) -- integral closure of an ideal in an affine domain
• integralClosure(Ideal,RingElement) -- integral closure of an ideal in an affine domain
• integralClosure(Ideal,RingElement,ZZ) -- integral closure of an ideal in an affine domain
• integralClosure(Ideal,ZZ) -- integral closure of an ideal in an affine domain
• integralClosure(Ring) -- compute the integral closure (normalization) of an affine domain
• integralClosure(Ring,Ring) -- compute the integral closure (normalization) of an affine reduced ring over a base ring
• isNormal -- determine if a reduced ring is normal
• isNormal(Ring) -- determine if a reduced ring is normal
• Keep -- an optional argument for various functions
• makeS2 -- compute the S2ification of a reduced ring
• makeS2(...,Variable=>...) -- Sets the name of the indexed variables introduced in computing the S2-ification.
• makeS2(...,Verbosity=>...) -- compute the S2ification of a reduced ring
• makeS2(Ring) -- compute the S2ification of a reduced ring
• Radical -- a symbol denoting a strategy element usable with integralClosure(...,Strategy=>...)
• RadicalCodim1 -- a symbol denoting a strategy element usable with integralClosure(...,Strategy=>...)
• ringFromFractions -- find presentation for f.g. ring
• ringFromFractions(...,Index=>...) -- find presentation for f.g. ring
• ringFromFractions(...,Variable=>...) -- find presentation for f.g. ring
• ringFromFractions(...,Verbosity=>...) -- find presentation for f.g. ring
• ringFromFractions(Matrix,RingElement) -- find presentation for f.g. ring
• SimplifyFractions -- a symbol denoting a strategy element usable with integralClosure(...,Strategy=>...)
• StartWithOneMinor -- a symbol denoting a strategy element usable with integralClosure(...,Strategy=>...)
• testHunekeQuestion -- tests a conjecture on integral closures strengthening the Eisenbud-Mazur conjecture
• testHunekeQuestion(RingElement) -- tests a conjecture on integral closures strengthening the Eisenbud-Mazur conjecture
• Vasconcelos -- a symbol denoting a strategy element usable with integralClosure(...,Strategy=>...)