coverMap M
i1 : M = image matrix {{2},{0}} o1 = image | 2 | | 0 | 2 o1 : ZZ-module, submodule of ZZ
i2 : f = coverMap M o2 = | 1 | 1 o2 : Matrix M <-- ZZ
i3 : isSurjective f o3 = true