Opened 4 years ago
Closed 3 years ago
#20139 closed enhancement (wontfix)
implement trigonometric symmetry simplifications
Reported by: | rws | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | sage-duplicate/invalid/wontfix |
Component: | symbolics | Keywords: | |
Cc: | Merged in: | ||
Authors: | Reviewers: | ||
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description (last modified by )
This will bring Sage to its knees:
assert sin(104*pi/105) == sin(pi/105)
because sin symmetry is not implemented and so the __nonzero__
proof machinery is started which uses QQbar
on algebraic numbers of high degree.
Sympy immediately verifies the equation because it does:
>>> sin(104*pi/105) ⎛ π ⎞ sin⎜───⎟ ⎝105⎠
The fix will be made in Pynac and this ticket should doctest it.
Change History (4)
comment:1 Changed 4 years ago by
- Description modified (diff)
comment:2 Changed 3 years ago by
- Milestone changed from sage-7.1 to sage-duplicate/invalid/wontfix
- Status changed from new to needs_review
comment:3 Changed 3 years ago by
- Status changed from needs_review to positive_review
comment:4 Changed 3 years ago by
- Resolution set to wontfix
- Status changed from positive_review to closed
Determined to be invalid/duplicate/wontfix (closing as "wontfix" as a catch-all resolution).
Note: See
TracTickets for help on using
tickets.
This works in develop and is tested in
Function_sin
so can be closed.