IntegralClosure : Table of Contents
-
IntegralClosure -- routines for integral closure of affine domains and ideals
-
AllCodimensions -- a symbol denoting a strategy element usable with integralClosure(...,Strategy=>...)
-
conductor -- the conductor of a finite ring map
-
-
icFracP -- compute the integral closure in prime characteristic
-
-
-
-
icFractions -- fractions integral over an affine domain
-
icMap -- natural map from an affine domain into its integral closure
-
icPIdeal -- 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). If the program idealizer is used independently, the user will generally want to use the default value of 0. However, when used as part of the integralClosure computation the number needs to start higher depending on the level of recursion involved.
-
-
Index -- Optional input for idealizer
-
-
-
-
-
-
-
-
-
isNormal -- determine if a reduced ring is normal
-
Keep -- an optional argument for various functions
-
makeS2 -- 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=>...)
-
-
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
-
Vasconcelos -- a symbol denoting a strategy element usable with integralClosure(...,Strategy=>...)