Changes between Initial Version and Version 1 of Ticket #23738


Ignore:
Timestamp:
08/28/17 19:46:05 (3 years ago)
Author:
mmezzarobba
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #23738 – Description

    initial v1  
    1 In this example:
     1An issue found by Victor Spitzer: Sage fails to simplify
    22{{{
    33sage: f = log(sqrt(2) - 1) + log(sqrt(2) + 1)
    44sage: f.simplify_full()
    55log(sqrt(2) + 1) + log(sqrt(2) - 1)
     6}}}
     7without help. Doing
     8{{{
    69sage: f.simplify_real().simplify_log()
    7100
    811}}}
    9 it would be nice if `simplify_{log,full})` detected by themselves that `simplify_real()` is applicable.
     12works, but it would be nice if `simplify_{log,full})` detected by themselves that `simplify_real()` is applicable in this case.