|
 |
 |
 |
 |
 |
 |
 |
 |
 |
D.4.15.8 annil
Procedure from librarymprimdec.lib (see mprimdec_lib).
- Usage:
- annil(N); modul N
- Return:
- ideal ann=std(quotient(N,freemodule(nrows(N))));
the annihilator of M/N in the basering - Note:
- ann is a std basis in the basering
LIB "mprimdec.lib"; ring r=0,(x,y,z),dp; module N=x*gen(1), y*gen(2); ideal ann=annil(N); ann; ==> ann[1]=xy |