|
D.4.23.2 sagbiReduce
Procedure from library sagbi.lib (see sagbi_lib).
- Usage:
- sagbiReduce(I, A[, tr, mt]); I, A ideals, tr, mt optional integers
- Return:
- ideal of remainders of I after SAGBI reduction by A
- Assume:
- basering is not a qring
- Purpose:
| The optional argument tr=tailred determines whether tail reduction will be performed.
- If (tailred=0), no tail reduction is done.
- If (tailred<>0), tail reduction is done.
The other optional argument meth determines which method is
used for Groebner basis computations.
- If mt=0 (default), the procedure std is used.
- If mt=1, the procedure slimgb is used.
|
Example:
|