Some points regarding trigonometric and inverse trigonometric functions in solveset :
There are many issues in solveset
solve_trig.More inverse trigonometric formula and trigonometric identities should be defined/added or improved. Also
_invertmethods should be improved accordingly.
Some links, that is helpful to improve these functions.
trigsimpmust be more powerful so that
solve_trigget simplified eq. (which solves trig equation by converting them into its
solve_trigsolves the trig eq. using its
expform. There may be cases when that
expform is complicated and solveset fail to handle that form. There should be technique to convert that complicated form to simpler form(if possible) and then call the
solveset_complex. That may help to improve the
We can use
hyper_as_trigmethods defined in
simplify/fu.pyto convert hyperbolic function to trigonometric function, then we can use
trigsimp(we can’t use
trigsimpfor hyperbolic functions).
First need to improve basic concepts and add more identities. I opened a new PR to improve
rewritefor trigonometric functions , PR is #11424.
issue #2720 : We need some kind of eliminate function, like http://reference.wolfram.com/mathematica/ref/Eliminate.html. See also http://stackoverflow.com/q/20826969/161801
It looks something related to substitution function. But they are not same. Using
eliminate()we will try to remove the variable(s) from the each equations(not solving the eq).
Plan : First choose eq that have min. variables and get the value of the variable, to be eliminated. Go further and
substhe value to next min. variable eq., and so on.
Work in progress.
I found some basic issues in
ComplexInfinityand trying to solve them in this PR #11409.
there may be many things to be added about
ComplexInfinity, one can refer this link to implement them : http://reference.wolfram.com/language/ref/ComplexInfinity.html.