D.4.7.5 minAssChar

Procedure from library primdec.lib (see primdec_lib).

Usage:

minAssChar(i[,c]); i ideal, c int.

Return:

list, the minimal associated prime ideals of i.

Note:

If c=0, the given ordering of the variables is used.
Otherwise, the system tries to find an optimal ordering, which in some cases may considerably speed up the algorithm.
Due to a bug in the factorization, the result may be not completely decomposed in small characteristic.

Example:

LIB "primdec.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 = minAssChar(i);
pr;
→ [1]:
→    _[1]=y+1
→    _[2]=z2+1
→ [2]:
→    _[1]=z2-y
→    _[2]=yz+2
→    _[3]=y2+2z