On Wednesday, August 5, 2020 at 10:19:57 AM UTC-7, john_perry_usm wrote:
>
>
> It's possible that you want a local term ordering. Unlike global term
> orderings, in a local ordering 1>t for any monomial t.
>
> TO = TermOrder("negdegrevlex",3)
> R = PolynomialRing(GF(2),'x',3,order=TO)
> R.inject_variables()
> >>>> Defining x0, x1, x2
> I = R.ideal([x0*x1+x2])
> x2.reduce(I)
> >>>> x0*x1
>
>
In which case you need to realize that you're not working in a polynomial
ring but in its localization! This has been the source of many bug reports
already, and is currently not sufficiently documented.
--
You received this message because you are subscribed to the Google Groups
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-support+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/sage-support/20761051-9668-462a-aaea-191f10a9def2o%40googlegroups.com.
