Ask Your Question

Representative in Quotient Ring

asked 2020-01-31 06:52:13 +0200

RaymondChou gravatar image

Hello everyone!

So I'm using Sage to reduce a bunch of monomials modulo an ideal $I$ in a ring $R = \mathbb{C}[x_1,x_2,...,x_n]$. Sage, however, decides that it should reduce things and use the high index terms as a basis, instead of the lower-index terms. For example, if $I = < x_1 + x_2 + x_3 >$ for $n = 3$, Sage will reduce $x_1$ into $-x_2 - x_3$, and use $x_2$ and $x_3$ as generators, whereas I want it to use $x_1$ and $x_2$ as generators instead, and have it say $x_3 = -x_1 - x_2$. Is there a way to do this?

Thank you!

edit retag flag offensive close merge delete

1 Answer

Sort by ยป oldest newest most voted

answered 2020-01-31 10:07:21 +0200

RaymondChou gravatar image

Sorry for the dumb question; I just changed the monomial ordering in the ring and it fixed my problem!

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: 2020-01-31 06:52:13 +0200

Seen: 196 times

Last updated: Jan 31 '20