fittingIdeal -- Fitting ideal of a module

Description

fittingIdeal(i,M) -- the i-th Fitting ideal of the module M

i1 : R = ZZ/101[x];

i2 : k = coker vars R

o2 = cokernel | x |

                            1
o2 : R-module, quotient of R

i3 : M = R^3 ++ k^5;

i4 : fittingIdeal(3,M)

            5
o4 = ideal x

o4 : Ideal of R

i5 : fittingIdeal(8,M)

o5 = ideal 1

o5 : Ideal of R