|
|
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
|
See
deg;
int;
option;
std;
system.
|
Online Manual
