Go backward to `desing/isnc2`Go up to ProceduresGo forward to `desing/maketree` |

Computation of a subset of exceptional divisors from the EM entry of a tagged object that pose problems in the transversality problem in the resolution and which is canonical in a certain sense (see the paper with working title "Explicit Normal Crossings Tests for Faster Desingularization").

**Input:**-
**H**- the list of c-1'st partial derivatives,
**EM**- the list of indices to IND (defining the suspicious exceptional divisors),
**DI**- the list of indices to IND defining those IND elements with respect to which partial differentiation can be performed,
**SL**- generators of the ideal of the singular locus (including DEP),
**S**- the list of indeterminates,
**IND**- the regular system of parameters over the chart,
**PDER**- the PDER matrix for IND.

**Output:**- A list of indices to EM, selecting those exceptional divisors that have no normal crossings with a hypersurface of maximal contact in H and a in a certain sense canonical.