Macaulay2 » Documentation
Packages » Macaulay2Doc :: coverMap(Module)
next | previous | forward | backward | up | index | toc

coverMap(Module) -- the surjective map from a free module to a module corresponding to the generators

Synopsis

Description

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

Ways to use this method: