5.3.1 degBound

Type:

int

Purpose:

The standard basis computation is stopped if the total (weighted) degree exceeds degBound - used in std, slimgb, system("verifyGB",..)
degBound should not be used for a global ordering with inhomogeneous input, if the ordering is not dp or Dp. (Remark: elimination requires always an eliminiation ordering).
Reset this bound by setting degBound to 0.
The exact meaning of "degree" depends on the ring ordering and the command: slimgb uses always the total degree with weights 1, std does so for block orderings, only.

Example:

degBound = 7; option(); ==> //options for 'std'-command: degBound ideal j=std(i); degBound; ==> 7 degBound = 0; //resets degree bound to infinity