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.
