On Monday, 30 May 2016 17:19:54 UTC+1, Nils Bruin wrote: > > 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 >
Thanks, that seems to be the problem. I also note the code comment "The whole quotient stuff relies in I.reduce(x) returning a normal form of x with respect to I.". Evidently this is not a good assumption! -- 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.
