Top
Back: clrSBmod
Forward: specialModulesEqual
FastBack: homolog_lib
FastForward: mregular_lib
Up: mprimdec_lib
Top: Singular 2-0-4 Manual
Contents: Table of Contents
Index: Index
About: About this document

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


Top Back: clrSBmod Forward: specialModulesEqual FastBack: homolog_lib FastForward: mregular_lib Up: mprimdec_lib Top: Singular 2-0-4 Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 2-0-4, May 2003, generated by texi2html.