|
D.4.5.12 componentEHV
Procedure from library ehv.lib (see ehv_lib).
- Usage:
- componentEHV(I,P,L [,Strategy]);
I ideal, P associated prime of I,
L list of all associated primes of I, Strategy list
- Return:
- ideal, a P-primary component Q for I
- Note:
- The (optional) second argument determines the strategy used:
Strategy[1] > strategy for equidimensional part
= 0 : uses equiMaxEHV
= 1 : uses equidimMax
If no second argument is given then Strategy=0 is used.
Example:
| LIB "ehv.lib";
ring r = 0,(x,y,z),dp;
poly p = z2+1;
poly q = z3+2;
ideal i = p*q^2,y-z2;
list pr = AssEHV(i);
componentEHV(i,pr[1],pr);
==> _[1]=z2-y
==> _[2]=y4+y3+4y2z+4yz+4y+4
|
|