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

i1 : M = image matrix {{2},{0}}

o1 = image | 2 |
           | 0 |

                               2
o1 : ZZ-module, submodule of ZZ

i2 : f = coverMap M

o2 = | 1 |

o2 : Matrix

i3 : isSurjective f

o3 = true

i4 :