(F,G) = idealizer(I,f)
The idealizer of $I$, computed as target F, is the largest subring of the fraction field of ring I in which $I$ is still an ideal. Note that this is NOT the common use of the term in commutative algebra.
This is a key subroutine used in the computation of integral closures.
|
|
|
|
|
The object idealizer is a method function with options.