Resolution of a TBO on the top of the stack of a chart-record.
The procedure treats a TBO. It updates the order of the ideal,
testing resolvedness, and if the object is not resolved, it creates a
new SBO, it adds the elements of EM to the list H
and performs cover operation if necessary when the singular locus is
away from the intersection of the hypersurfaces of H.
- a chart-record,