Top
Back: modulesEqual
Forward: mregular_lib
FastBack: intprog_lib
FastForward: mregular_lib
Up: mprimdec_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.4.7.20 getData

Procedure from library mprimdec.lib (see 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: modulesEqual Forward: mregular_lib FastBack: intprog_lib FastForward: mregular_lib Up: mprimdec_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-0-1, October 2005, generated by texi2html.