annihilator Module -- the annihilator ideal

annihilator Module -- the annihilator ideal

Synopsis:

Function: annihilator -- the annihilator ideal

Input:

an instance of class Module.

Output:

an instance of class Ideal.

Code:

     -- ../m2/modules2.m2:551-556
     annihilator Module := Ideal => (M) -> (
          if M == 0 then ideal 1_(ring M)
          else (
               P := presentation M;
               F := target P;
               intersect apply(numgens F, i-> ideal modulo(matrix{F_i},P))))