Opened 2 years ago

Last modified 2 years ago

#23738 new enhancement

simplify_full() fails to simplify simple constant expressions to zero

Reported by: mmezzarobba Owned by:
Priority: major Milestone: sage-wishlist
Component: symbolics Keywords:
Cc: Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Description (last modified by mmezzarobba)

An issue found by Victor Spitzer: Sage fails to simplify

sage: f = log(sqrt(2) - 1) + log(sqrt(2) + 1)
sage: f.simplify_full()
log(sqrt(2) + 1) + log(sqrt(2) - 1)

without help. Doing

sage: f.simplify_real().simplify_log()
0

works, but it would be nice if simplify_{log,full}) detected by themselves that simplify_real() is applicable in this case.

Change History (1)

comment:1 in reply to: ↑ description Changed 2 years ago by mmezzarobba

  • Description modified (diff)
Last edited 2 years ago by mmezzarobba (previous) (diff)
Note: See TracTickets for help on using tickets.