-- -*- M2-comint -*- {* hash: -1563686484 *}

i1 : R = ZZ/7[x,y];

i2 : M = kernel vars R

o2 = image {1} | -y |
           {1} | x  |

                             2
o2 : R-module, submodule of R

i3 : isFreeModule M

o3 = false

i4 : isFreeModule prune M

o4 = true

i5 :