[next][previous][up][top][index]
search for:

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))))

    [next][previous][up][top][index]
    search for: