On Monday, May 30, 2016 at 9:55:16 AM UTC-7, Alec Edgington wrote: > > 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! > This is now http://trac.sagemath.org/ticket/20722 . First try is there. Some unexpected consequences (the univariate problem might have been solved already). An expert on quotients of "letterplace" free algebras is required.
-- 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.
