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