D.4.18.8 annil

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