Results 158 comments of 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`...

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..