There's no precision here: they're exact elements. It should be easier to deal with than some similar problems with fraction fields of multivariate polynomial rings, since we only have to worry about monomials in the denominator.
I made some comments on the ticket. David On Sat, Apr 23, 2016 at 2:44 AM, Simon King <[email protected]> wrote: > Hi Travis, > > On 2016-04-23, Travis Scrimshaw <[email protected]> wrote: > > Hey all, > > There is a hashing error likely with multivariate Laurent polynomial > > rings: > > > > sage: R.<a,b> = LaurentPolynomialRing(ZZ) > > sage: elt = (a + b) * (~a + ~b) - a*~b - ~a*b - 1 > > sage: elt == R.one() > > True > > sage: hash(elt) == hash(R.one()) > > False > > > > This is now http://trac.sagemath.org/ticket/20490. I would appreciate if > > anyone could figure out what is going wrong with this. > > IIRC, there has been a similar (or probably the same) error with power > series, and the solution was to make them non-hashable. I think elements > of rings with a fixed precision shouldn't be hashable, in general. > > Best regards, > Simon > > -- > 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 [email protected]. > To post to this group, send email to [email protected]. > Visit this group at https://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. > -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
