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.
