ASKSAGE: Sage Q&A Forum - RSS feedhttps://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Fri, 31 Jan 2020 10:07:21 +0100Representative in Quotient Ringhttps://ask.sagemath.org/question/49721/representative-in-quotient-ring/ 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!Fri, 31 Jan 2020 06:52:13 +0100https://ask.sagemath.org/question/49721/representative-in-quotient-ring/Answer by RaymondChou for <p>Hello everyone! </p>
<p>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?</p>
<p>Thank you!</p>
https://ask.sagemath.org/question/49721/representative-in-quotient-ring/?answer=49723#post-id-49723Sorry for the dumb question; I just changed the monomial ordering in the ring and it fixed my problem!Fri, 31 Jan 2020 10:07:21 +0100https://ask.sagemath.org/question/49721/representative-in-quotient-ring/?answer=49723#post-id-49723