|
|
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.
The exact meaning of "degree" depends on the ring odering 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
|
See
deg;
int;
option;
std.
|
