Ask Your Question

codimension of an ideal or free submodule

asked 2019-01-25 07:16:59 +0200

arpit gravatar image

updated 2019-01-25 07:21:58 +0200

Is there an option to calculate the codimension of an ideal Sage? For example, I have the following ideal

$I=(1+xy, x+y)$

in $\mathbb{Z}_{2}\left[x,y\right]$ which is a polynomial ring over the field $\mathbb{Z}_2$. How do I calculate the codimension for this simple example? I would like to generalize to free submodules if possible

edit retag flag offensive close merge delete

1 Answer

Sort by » oldest newest most voted

answered 2019-01-27 16:09:04 +0200

FrédéricC gravatar image

Like that

sage: R=GF(2)['x,y']
sage: x,y=R.gens()
sage: I=R.ideal([1+x*y,x+y])
sage: I.vector_space_dimension()
edit flag offensive delete link more

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower


Asked: 2019-01-25 07:16:59 +0200

Seen: 278 times

Last updated: Jan 27 '19