`desing/resolvet`
Resolution of a TBO on the top of the stack of a chart-record.
- Input:
-
- Chart
- a chart-record,
- Output:
- -
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.