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 | x |
     
                                   1
          R - module, quotient of R
     
     i3 = M = R^3 ++ k^5;
     
     i4 = fittingIdeal(3,M)
     
     o4 = ideal | x5 |
     
     o4 : Ideal
     
     i5 = fittingIdeal(8,M)
     
     o5 = ideal | 1 |
     
     o5 : Ideal

Go to main index.

Go to concepts index.