previous up next
Go backward to `desing/resolvesx2`
Go up to Procedures
Go forward to `desing/resolvet2`


Resolution of a TBO on the top of the stack of a chart-record.

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.
previous up next