On Monday, May 30, 2016 at 5:19:54 PM UTC+1, Nils Bruin wrote: > > 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 >
IMHO ideals of univariate polynomial rings should have all the meaningful methods of the multivariate ones... -- 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.