next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
Divisor :: moduleWithSection2Ideal

moduleWithSection2Ideal -- Turn a module to an ideal of a ring and keep track of a module element

Synopsis

Description

Tries to embed the target of the module map as an ideal in R, it will also return the image of 1 under the module map. These are returned as a list, the element first, and then the ideal. It uses MTries=>n (the default n value is 10) in the same way as module2Ideal.
i1 : R = QQ[x,y]

o1 = R

o1 : PolynomialRing
i2 : M = (ideal(x^2,x*y))*R^1

o2 = image | x2 xy |

                             1
o2 : R-module, submodule of R
i3 : mat = map(M, R^1, {{1}, {1}})

o3 = {2} | 1 |
     {2} | 1 |

o3 : Matrix
i4 : moduleWithSection2Ideal(mat)

o4 = {x + y, ideal (y, x)}

o4 : List

See also

Ways to use moduleWithSection2Ideal :