Frédéric Chapoton
Frédéric Chapoton
du coup, je prefere reparer le linter ici..
I dare not. Maybe there are now "rules" to do that. I have no idea.
now triggers an unexpected failure in `src/sage/categories/category_with_axiom.py`...
See also #38366 and #14862
merci !
minimized problem, starting from the bug : ``` test = libgiac('erf((-Infinity*sqrt(-sageVARa)))') test.sage() ``` This infinity looks strange..
and debugging leads to the following `RuntimeError: indeterminate expression: infinity * f(x) encountered.`
maybe `giac` is using the positivity assumption on `a` and `libgiac` is not ?
Thanks for this other simpler and similar bug. So this is not an issue about assumption.
We lose a lot of speed in the relabeling..