I did not know this ticket but it is a related problem. I guess, following also Simon, that the best choice is to create something like LocalPolynomialRing admitting local orderings since even if all the algorithms can be performed inside the polynomials (as Singular does) the actual rings are different. In the example of ticket #10708, the ideal generated by 1-x is the unit ideal, i.e. the total local ring, and hence its Krull dimension is -1.
El jueves, 19 de febrero de 2015, 18:35:51 (UTC+1), Nils Bruin escribió: > > On Thursday, February 19, 2015 at 8:46:19 AM UTC-8, Enrique Artal wrote: >> >> For the first one, it was already reported, with an open ticket, but I am >> worried about it since it produces wrong outputs. The problem appears >> working with polynomial rings with local orders, e.g., >> *R.<x,y>=PolynomialRing(QQ,order='neglex')*. If one defines a non >> constant polynomial with constant leading monomial, e.g. *f=1+x*, the >> output of *1/f* is *1*; >> > I assume you are referring to http://trac.sagemath.org/ticket/10708 . > Indeed, that is rather worrying behaviour. > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
