The following example shows how to analyze the output of a comprehensive triangular decomposition.
The first part is a list of regular chains which form a pre-comprehensive triangular decomposition of F. The second part is a partition of the projection image of V(F) to the last coordinate. Each constructible set is associated with indices of regular chains in the first part.
Consider a specialization point .
Try to figure out to which partition pt belongs.
Then retrieve the indices of regular chains that specialize well at pt.
Thus you know that the regular chains in lrc_ind all specialize well at the point pt. Then you can do simple substitutions.
Regular chains of form a triangular decomposition of F after specialization at pt.