trim

trim M -- produce a module isomorphic to the module M obtained by replacing its generators by a minimal set of generators, and doing the same for the relations.

Also works for rings and ideals.

     i1 = R = ZZ/101[x]
     
     o1 = R
     
     o1 : PolynomialRing

     i2 = M = subquotient( matrix {{x,x^2,x^3}}, matrix {{x^3,x^4,x^5}})
     
     o2 = subquotient(| x x2 x3 |,| x3 x4 x5 |)
     
                                      1
          R - module, subquotient of R

     i3 = trim M
     
     o3 = subquotient(| x |,| x3 |)
     
                                      1
          R - module, subquotient of R

Go to main index.

Go to concepts index.