Opened 4 years ago

Closed 4 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 rws)

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)
   ⎛ π ⎞

The fix will be made in Pynac and this ticket should doctest it.

Change History (4)

comment:1 Changed 4 years ago by rws

  • Description modified (diff)

comment:2 Changed 4 years ago by rws

  • Milestone changed from sage-7.1 to sage-duplicate/invalid/wontfix
  • Status changed from new to needs_review

This works in develop and is tested in Function_sin so can be closed.

comment:3 Changed 4 years ago by rws

  • Status changed from needs_review to positive_review

comment:4 Changed 4 years ago by embray

  • 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.