Home Online Manual
Top
Back: primdec_lib
Forward: primdecGTZ
FastBack:
FastForward:
Up: primdec_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.4.22.1 Ann

Procedure from library primdec.lib (see primdec_lib).

Usage:
Ann(M); M module

Return:
ideal, the annihilator of coker(M)

Note:
The output is the ideal of all elements a of the basering R such that a * R^m is contained in M (m=number of rows of M).

Example:
 
LIB "primdec.lib";
ring  r = 0,(x,y,z),lp;
module M = x2-y2,z3;
Ann(M);
==> _[1]=z3
==> _[2]=x2-y2
M = [1,x2],[y,x];
Ann(M);
==> _[1]=x2y-x
qring Q=std(xy-1);
module M=imap(r,M);
Ann(M);
==> _[1]=0