>
|
|
| (1) |
>
|
|
| (2) |
>
|
|
| (3) |
| (4) |
>
|
|
| (6) |
>
|
|
>
|
|
| (9) |
>
|
|
| (10) |
We construct a PolynomialIdeal data structure, which automatically keeps track of known Groebner bases.
>
|
|
| (11) |
>
|
|
| (12) |
The commands below do not perform any Groebner basis computations. The known Groebner bases are examined to see if a computation can be avoided.
>
|
|
| (15) |
PolynomialIdeals can also be given to the NormalForm command and the corresponding Groebner basis is used automatically for the division.
>
|
|
>
|
|