|
D.6.13.9 locstd
Procedure from library sing.lib (see sing_lib).
- Usage:
- locstd (id); id = ideal
- Return:
- a standard basis for a local degree ordering
- Note:
- the procedure homogenizes id w.r.t. a new 1st variable @t@, computes
a SB w.r.t. (dp(1),dp) and substitutes @t@ by 1.
Hence the result is a SB with respect to an ordering which sorts
first w.r.t. the order and then refines it with dp. This is a
local degree ordering.
This is done in order to avoid cancellation of units and thus
be able to use option(contentSB);
Example:
|