Beste Ricardo, AJB, zie https://trac.sagemath.org/ticket/27508#comment:50
mvg Dima On Fri, Apr 17, 2020 at 11:18 PM Ricardo Buring <[email protected]> wrote: > > On Friday, April 17, 2020 at 4:04:10 PM UTC+2, Dima Pasechnik wrote: >> >> I think this is >> https://trac.sagemath.org/ticket/27508 >> which needs an effort to fix, as it's far from easy. >> > > Dear Dima, > > If I'm not mistaken: For the documentation of SageMath's reduce to become > correct ("No term in r is divisible by any of the leading monomials of I") > tail reduction should always be done. > My impression is that your two-line patch > https://trac.sagemath.org/ticket/27508#comment:36 achieves this and hence > fixes the issue. > (One could consider changing the documentation of reduce, but still the > variant which it currently describes seems to me the most common > interpretation.) > The rest of the discussion seems to be about how to use the (lib)Singular > interface better, which would be more elegant, but it seems not essential for > fixing this issue. > > Best wishes, > Ricardo > > -- > 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 [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/884eeb2c-2831-4241-8c76-0eb0ef314ca2%40googlegroups.com. -- 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAAWYfq1EjLJnJO64mSvUNURgmk2bD9Xg5Z2f0OrfDykS091YdQ%40mail.gmail.com.
