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
|