next | previous | forward | backward | up | top | index | toc | Macaulay2 website
Macaulay2Doc :: isSubset(Module,Module)

isSubset(Module,Module) -- whether one object is a subset of another

Synopsis

Description

i1 : R = QQ[x,y]

o1 = R

o1 : PolynomialRing
i2 : M = image matrix {{x,0},{0,y}}

o2 = image | x 0 |
           | 0 y |

                             2
o2 : R-module, submodule of R
i3 : N = image matrix {{x^2,0},{-y,y}}

o3 = image | x2 0 |
           | -y y |

                             2
o3 : R-module, submodule of R
i4 : isSubset(N,M)

o4 = true
i5 : isSubset(M,N)

o5 = false