|
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
|
|