D.4.4.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
<font size="-1">
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; User manual for <a href="http://www.singular.uni-kl.de/"><i>Singular</i></a> version 2-0-4, October 2002,
generated by <a href="http://www.gnu.org/software/texinfo/"><i>texi2html</i></a>.
</font>

</body>
</html>
