Top
Back: D.4.4.16 minSatMod
Forward: D.4.4.18 stdModulesEqual
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.17 specialModulesEqual

Procedure from library mprimdec.lib (see mprimdec_lib).

Usage:

specialModulesEqual(N1, N2) N1, N2 standard bases of modules, s.th. N1 is contained in N2 or vice versa

Return:

int i
if (N1==N2) then i=1
else i=0

Example:

LIB "mprimdec.lib";
ring  r = 0,(x,y,z),dp;
module N1=x*freemodule(2);
module N2=xy*freemodule(2);
int i=specialModulesEqual(N1,N2);
i;
→ 0
N2=N1;
i=specialModulesEqual(N1,N2);
i;
→ 1

Top Back: D.4.4.16 minSatMod Forward: D.4.4.18 stdModulesEqual 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 texi2html.