Integral_closure_of_an_ideal loading ...