id summary reporter owner description type status priority milestone component resolution keywords cc merged author reviewer upstream work_issues branch commit dependencies stopgaps
23738 simplify_full() fails to simplify simple constant expressions to zero 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." enhancement new major sage-wishlist symbolics N/A