Description
The motivation for this ticket is that the documentation for
integral?
didn't mention very explicitly the different algorithms (it omits 'fricas', for example). The documentation that appears above is from the file
misc/functional.py.
However, grep'ing around I found out that there is a much better documentation in the integral() definition in sage/symbolic/integration/integral.py
but it simply never appears upon eitheir integral? or integrate?
Looking more closely, having the integrate() functions in both files seems redundant. One does integrate = integral and the other does integral = integrate at the end of their definitions.
My first reaction was to kill the definition from misc/functional.py
but I get a compilation error related to the docbuild(!) which I could not understand where it is coming from (yet).
So before going on with killing integral() from misc/functional.py (and obtaining the much better documentation from integral.py as a result) I would like to ask more experienced Sage developers what they think about this. Is this unification recommended or is it a stupid thing to try?
But again, the underlying motivation was about the poorer documentation from functional.py
Component: symbolics
Issue created by migration from https://trac.sagemath.org/ticket/21667