fittingIdeal

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

i1 : R = ZZ/101[x];
i2 : k = coker vars R

o2 = cokernel {0} | 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

topindexpreviousupnext