Go backward to Saving partial results Go up to User manual Go forward to Configuring special techniques

Choosing the progress mode

Via the progressmode configuration variable one can set a method to choose the next chart record for resolution, from the pool of charts which contain unresolved basic objects. The variable is numeric, the default value is 0. Currently the following methods are selectable via their number:

• [0] depth first search (the pool of unresolved chart records acts as a stack),
• [1] breadth first search (the pool acts as a queue),
• [2] local maximum search: The major transformations (cover and blowup) produce from an input chart record one or more output chart records, which are put into the pool of unresolved charts. In this mode at each cover or blowup, the algorithm chooses from the newly produced chart records the one with maximal (partial) stratifying function value. (The maximum value of the function is completely computed for a chart record only when it contains a single resolved basic object, or when the chart is ready for blowing up.)
• [3] global maximum search: In this mode the algorithm chooses the chart record which has the maximal partial stratifying function value in the (entire) pool of unresolved charts.
• [4] local interactive mode: After each major operation, the produced charts are printed in detailed form, and the user can choose with which should the algorithm continue (by typing in the ID number of the chart). The user can also change the progress mode by typing a "-" before the given number.
• [5] global interactive mode: After each major operation, the list of chart IDs and corresponding (partial) stratifying function values in the pool of unresolved chart records are printed. The user can choose a chart record to continue with by typing in its ID, or can change the progress mode by typing a "-" before the given number.

  desingcfg[progressmode] := 2;