D.4.4.16 minSatMod

Procedure from library mprimdec.lib (see mprimdec_lib).

Usage:

minSatMod(N, I); module N, ideal I

Return:

list with 2 elements:
[1]=sat(N,product(I))[1],
[2]=p, the polynomial of minimal degree s.th. [1]=quotient(N,p)

Example:

LIB "mprimdec.lib";
ring  r = 0,(x,y,z),dp;
module N=xy*gen(1);
ideal h=yz,z2;
list l=minSatMod(N,h);
l;
→ [1]:
→    _[1]=x*gen(1)
→ [2]:
→    y