isFreeModule

isFreeModule M -- determine whether M is evidently a free module. No computation is done.

To determine whether M is isomorphic to a free module, one may prune M first.

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

     i2 = M = kernel vars R
     
     o2 = image | -y |
                | x  |
     
                                    2
          R - module, submodule of R

     i3 = isFreeModule M
     
     o3 = false

     i4 = isFreeModule prune M
     
     o4 = true

Go to main index.

Go to concepts index.