integralClosure -- integral closure of an ideal or a domain
Synopsis
-
Optional inputs:
-
Keep => ..., default value null, list ring generators which should not be simplified away
-
Limit => ..., default value infinity, do a partial integral closure
-
Strategy => ..., default value {}, control the algorithm used
-
Variable => ..., default value "w", set the base letter for the indexed variables introduced while computing the integral closure
-
Verbosity => ..., default value 0, display a certain amount of detail about the computation
Ways to use integralClosure :
-
"integralClosure(Ideal)" -- see integralClosure(Ideal,RingElement,ZZ) -- integral closure of an ideal in an affine domain
-
"integralClosure(Ideal,RingElement)" -- see integralClosure(Ideal,RingElement,ZZ) -- 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)" -- see integralClosure(Ideal,RingElement,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