sub-module membership test

asked 2019-08-08 00:21:32 +0100

arpit gravatar image

updated 2019-08-08 00:24:03 +0100

I have a submodule of the module $\mathbb{Z}_2[x,y,z]^3$, which can be specified by its 6 generators that are the columns below \begin{array}{cccccc} 0 & 0 & 0 & 1+x+y+xy & 1+y+z+yz & 1+x+z+xz\newline 1+z & 1+x & 0 & 0 & y+z & 0\newline 0 & 1+x& 1+y & x+y & 0 & z^2 \end{array}

How can I implement the sub-module membership test in sage? For example, I want to check whether \begin{array}{c} x+z \newline x+y\newline y+z \end{array} belongs to the above submodule or not?

edit retag flag offensive close merge delete

Comments

You consider it as a module over which ring?

vdelecroix gravatar imagevdelecroix ( 2019-08-09 20:21:04 +0100 )edit

over the polynomial ring $\mathbb{Z}_2[x,y,z]$

arpit gravatar imagearpit ( 2019-08-10 05:49:27 +0100 )edit