Top
Back: D.4.4.15 clrSBmod
Forward: D.4.4.17 specialModulesEqual
FastBack: Appendix D SINGULAR libraries
FastForward: E Release Notes
Up: D.4.4 mprimdec_lib
Top: 1 Preface
Contents: Table of Contents
Index: F Index
About: About This Document

D.4.4.16 minSatMod

Procedure from library mprimdec.lib (see section 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: D.4.4.15 clrSBmod Forward: D.4.4.17 specialModulesEqual FastBack: Appendix D SINGULAR libraries FastForward: E Release Notes Up: D.4.4 mprimdec_lib Top: 1 Preface Contents: Table of Contents Index: F Index About: About This Document
            User manual for Singular version 2-0-4, October 2002, generated by texinfo.