Go backward to `desing/gsecexd` Go up to Procedures Go forward to `desing/idealproduct`

`desing/haltingmode1`

When the haltingmode configuration variable is 1, the resolution of singularities must stop when the next computed blowing up center is the same as the proper part of the ideal of the WBO with largest dimension. The procedure performs this test.

Input:

 

O

the chart which is to be blown up (i.e. a full chart record),

z

the defining equation of the blowing up center (indices to the IND entry of O).

Output:

(boolean) true if the proper part (J,C) of the WBO of largest dimension is contains (or its zero set is contained in the zero set of) the blowing up center given by z, false otherwise.