|
D.4.5.8 decompEHV
Procedure from library ehv.lib (see ehv_lib).
- Usage:
- decompEHV(I); I zero-dimensional radical ideal
- Return:
- list, the associated primes of I
Example:
| LIB "ehv.lib";
ring r = 32003,(x,y),dp;
ideal i = x2+y2-10,x2+xy+2y2-16;
decompEHV(i);
==> [1]:
==> _[1]=y+3
==> _[2]=x-1
==> [2]:
==> _[1]=y-3
==> _[2]=x+10668y
==> [3]:
==> _[1]=x-2y
==> _[2]=y2-2
|
|