Home Online Manual
Top
Back: dec1var
Forward: splitting
FastBack: monomialideal_lib
FastForward: mregular_lib
Up: mprimdec_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.4.14.8 annil

Procedure from library mprimdec.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

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