|
D.4.5.6 IntAssOfDim1
Procedure from library ehv.lib (see ehv_lib).
- Usage:
- IntAssOfDim1(I,e); I idea, e integer
- Return:
- ideal, the intersection of the associated primes of I having dimension e
Example:
| LIB "ehv.lib";
ring r = 0,(x,y,z),dp;
ideal I = intersect(ideal(z),ideal(x,y),ideal(x2,z2),ideal(x5,y5,z5));
IntAssOfDim1(I,1);
==> _[1]=x
==> _[2]=yz
|
|