Macaulay2 » Documentation
Packages » Macaulay2Doc » modules » Module » 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

- Function: coverMap
- Usage:
    `coverMap M`
- Inputs:
  - M, a module
- Outputs:
  - a matrix, the surjective map from a free module to M corresponding to the generators

## 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:

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

The source of this document is in /build/macaulay2-88fgJW/macaulay2-1.25.11+ds/M2/Macaulay2/packages/Macaulay2Doc/functions/cover-doc.m2:47:0.