-
-
Notifications
You must be signed in to change notification settings - Fork 453
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Some trivial identities and simplifications missed by Sage (pynac ?) #24211
Comments
comment:1
Is |
comment:2
Replying to @rwst:
I would say yes, see e.g. |
comment:3
Replying to @egourgoulhon:
Moreover, Sage assumes it is the case, without any assumption on
|
comment:5
Replying to @egourgoulhon:
That comes from Maxima which simplifies |
Dependencies: pynac-0.7.13 |
comment:6
These doctest now work with Pynac master:
|
Changed dependencies from pynac-0.7.13 to #24262 |
This comment has been minimized.
This comment has been minimized.
comment:9
Edit : added similar examples with arccos/arctan. |
This fixes a couple of places where arccos doesn't automatically simplify for ratios arising from the unit circle (but arcsin does). Turns out that asin_eval has some logic handling unit circle cases directly that was not replicated in acos_eval. I copy-pasted the logic from asin_eval and modified appropriately. sagemath#24211
This pull request may not close the issue entirely. There is probably still more to do with arctangent. |
On 8.1.rc0. Consider :
[ Edit on 2017-11-23 ] In the same vein :
This is not a bug stricto sensu (the answers are not false), but is certainly a lack of functionality.
The absence of this problem when using
sympy
ormaxima
fingerpoints topynac
.Furthermore, arctan suffers from some lack of simplification:
arctan2 has the same issue:
In those cases, the problem is not solved by recourse to
pynac
...Depends on #24262
Component: symbolics
Issue created by migration from https://trac.sagemath.org/ticket/24211
The text was updated successfully, but these errors were encountered: