Go backward to `desing/gsecexd`
Go up to Procedures
Go forward to `desing/idealproduct`
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.