If the integral closure of R has not yet been computed, that computation is performed first. No extra computation is involved. If R is integrally closed, then the identity map is returned.
|
|
|
|
|
This finite ring map can be used to compute the conductor, that is, the ideal of elements of R which are universal denominators for the integral closure (i.e. those d \in R such that d R' \subset R).
|
|
|
If you want to control the computation of the integral closure via optional arguments, then make sure you call integralClosure(Ring) first, since icMap does not have optional arguments.
The object icMap is a method function.