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