— iterative normalization via test ideal enlargement A_{i+1}=A_i[ (1/g)(gJ_i:_{A_i} J_i ) ] until stationary

Original label: — iterative normalization via test ideal enlargement A_{i+1}=A_i[ (1/g)(gJ_i:_{A_i} J_i ) ] until stationary