desing v1.5 manual -- `desing/resolvet`

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

`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.