Top
Back: D.4.4.19 modulesEqual
Forward: D.4.5 mregular_lib
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.20 getData

Procedure from library mprimdec.lib (see section mprimdec_lib).

Usage:

getData(N, l[, noCheck]); module N, list l[, int noCheck]

Return:

(ann, check, M, checked)
ideal ann, module check, M, int checked

if l[1] is contained in N [and noCheck is not given]
then checked=1, ann=ideal(0), check=0, M=0;
else checked=0, M=freemodule(nrows(N)); check=l[1]
(resp. check=M if l is an empty list) and
if size(l)>1 then ann=l[2] else ann is the annihilator of M/N.

Note:

ann is a std basis in the basering

Example:

LIB "mprimdec.lib";
ring  r = 0,(x,y,z),lp;
module N=x*gen(1),y*gen(2);
N=std(N);
ideal ann; module check, M; int checked; list l;
(ann, check, M, checked)=getData(N,l);
ann; check; M; checked;
→ ann[1]=xy
→ check[1]=gen(1)
→ check[2]=gen(2)
→ M[1]=gen(1)
→ M[2]=gen(2)
→ 0
l=list(check,ann);
(ann, check, M, checked)=getData(N,l);
ann; check; M; checked;
→ ann[1]=xy
→ check[1]=gen(1)
→ check[2]=gen(2)
→ M[1]=gen(1)
→ M[2]=gen(2)
→ 0
l=list(N);
(ann, check, M, checked)=getData(N,l);
ann; check; M; checked;
→ ann[1]=0
→ check[1]=0
→ M[1]=0
→ 1

Top Back: D.4.4.19 modulesEqual Forward: D.4.5 mregular_lib 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.