Opened 23 months ago
Last modified 23 months ago
#22699 new enhancement
simplify arccos+arcsin
Reported by: | kcrisman | Owned by: | |
---|---|---|---|
Priority: | minor | Milestone: | sage-wishlist |
Component: | symbolics | Keywords: | |
Cc: | rws | Merged in: | |
Authors: | Reviewers: | ||
Report Upstream: | Reported upstream. No feedback yet. | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description
assume(x>-1) assume(x<1) arcsin(x)+arccos(x)
should, in principle, over the reals, simplify to pi/2 on the interval -1 to 1. I'm sure numerous problems would result with branches and step functions and whatnot if one actually attempted to implement this ... but in a wishlist world, one can dream!
Upstream at https://sourceforge.net/p/maxima/bugs/3298/
Change History (4)
comment:1 Changed 23 months ago by
comment:2 Changed 23 months ago by
Ha, nice! This can definitely be part of the solution given that giac is apparently now going to be standard?
comment:3 Changed 23 months ago by
.. if it makes sense to add interfaces to the simplify function, then i'd be willing to collaborate
comment:4 Changed 23 months ago by
- Cc rws added
It may, but that would definitely be a different ticket! We have had .simplify()
be just sending to Maxima and back for so long it would make quite the changes in our documentation. .simplify_full()
all the more so. But maybe it is time for that discussion. rws is currently taking the lead on a lot of this, as you know, so copying him (however, not to suggest this tiny ticket is worth adding giac in that way all by itself).
not sure if this makes dreams come true, but just in case: