5.3.1 degBound

Type:

int

Purpose:

The standard basis computation is stopped if the total (weighted) degree exceeds degBound.
degBound should not be used for a global ordering with inhomogeneous input.
Reset this bound by setting degBound to 0.

Example:

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

See deg; int; option; std.