Hi Nils, On 2016-05-30, Nils Bruin <nbr...@sfu.ca> wrote: > 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.
I thought that letterplace does provide a normal form. Does it not? 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 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.
