On Monday, May 30, 2016 at 8:56:19 AM UTC-7, Alec Edgington wrote: > > > > It seems that there is a problem with the internal representations and in > some cases equality is not being ascertained correctly. > > The problem seems to be this:
sage: u=c*(d+e) sage: v=c*d+c*e sage: I.reduce(u.lift()) == I.reduce(v.lift()) False whereas: sage: u.lift() - v.lift() in I True Currently, u.__cmp__ uses the former to test equality, and it should probably use the latter. The reasoning is argued in the code. It looks like univariate polynomial ideals should just get a containment test implemented -- 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 https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
