A modified coefficient ideal for use with the strict transform (Q633082)

There are two different algorithmic approaches to the resolution of singularities. One is due to \textit{B. Bierstone} and \textit{P. Milman} [Invent. Math. 128, No.2, 207--302 (1997; Zbl 0896.14006)] using a stratification by the Hilbert--Samuel--function at the beginning of each choice--of--center step and the strict transform as the corresponding notion of transform. The other approach is due to \textit{O. Villamayor} [Ann. Sci. Éc. Norm. Supér. (4) 22, No. 1, 1--32 (1989; Zbl 0675.14003)] with many contributions by others is based on the use of the weak transform which picks up extra components lying inside the exceptional divisor at each blowing up. The approaches also differ in their descent in dimension of the ambient space. In this article, a hybrid--type algorithmic approach is proposed which allows the use of the strict transform without the full impact of the complexity of the stratification by the Hilbert--Samuel--function, i.e. the Hilbert--Samuel--stratum is not computed in each step, but instead auxiliary ideals are computed which provide the information whether the Hilbert--Samuel--function of the original ideal dropped, in terms of their order. The new approach is illustrated by two examples.