IntegralClosure : Table of Contents
- IntegralClosure
- conductor -- compute 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(..., reportSteps => ...) -- Prints out the conductor element and the number of intermediate modules it computed.
- icFractions -- Compute the fractions integral over a 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 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.
- idealizer(..., Variable => ...) -- Sets the name of the indexed variables introduced in computing the endomorphism ring Hom(J,J).
- Index -- Optional input for idealizer
- integralClosure -- compute the integral closure of a reduced ring
- integralClosure(..., Limit => ...) -- Sets the recursion level for the program allowing the user to see results without computing the full integral closure.
- integralClosure(..., Variable => ...) -- Sets the name of the indexed variables introduced in computing the integral closure of a reduced ring.
- isNormal -- determine if a reduced ring is normal
- nonNormalLocus -- an ideal containing the non normal locus of a ring
- reportSteps -- Optional in icFracP