fittingIdeal(ZZ,Module) -- Fitting ideal of a module

fittingIdeal(ZZ,Module) -- Fitting ideal of a module

Synopsis:

Function: fittingIdeal -- Fitting ideal of a module

Input:

an instance of class ZZ.

an instance of class Module.

Output:

an instance of class Ideal.

Code:

     -- ../../../Macaulay2/m2/multilin.m2:202-207
     fittingIdeal(ZZ,Module) := Ideal => (i,M) -> (
          p := presentation M;
          n := rank target p;
          if n <= i
          then ideal 1_(ring M)
          else trim minors(n-i,p))