On 2025-02-21 15:45:17, Vincent Delecroix wrote: > I think it would be more productive to make two PRs: one for making > the package which is likely to create a consensus and one for demoting > to optional which might be controversial.
While generally a good idea, in this case it would create more work because we would need an interim solution to disable (the otherwise standard) giac on the platforms where it is doomed. The second PR would then have to undo that solution. I'll do it if I have to, but (knock on wood) no one has objected yet and I have my fingers crossed that I can omit the intermediate step. -- 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 view this discussion visit https://groups.google.com/d/msgid/sage-devel/Z7kmhjs7F7KweeSn%40mertle.
