Opened 3 years ago
Closed 3 years ago
#15362 closed defect (duplicate)
regression in simplify_full
Reported by: | zimmerma | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | sage-duplicate/invalid/wontfix |
Component: | calculus | Keywords: | |
Cc: | mjo | Merged in: | |
Authors: | Reviewers: | Paul Zimmermann, Karl-Dieter Crisman | |
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description
In Sage 5.12:
sage: e=log(1/2*sqrt(2)*(sqrt(2) + 1)) + log(1/2*sqrt(2)*(sqrt(2) - 1)) sage: e.simplify_full() -log(2) sage: (2*e).simplify_full() 2*log(1/2*sqrt(2)*(sqrt(2) + 1)) + 2*log(1/2*sqrt(2)*(sqrt(2) - 1))
In Sage 5.9 the last command gave instead:
sage: (2*e).simplify_full().simplify_full() 2*log(sqrt(2) - 1) + 2*log(sqrt(2) + 1) - 2*log(2)
This is related to #10983.
Change History (6)
comment:1 Changed 3 years ago by
- Cc mjo added
comment:2 Changed 3 years ago by
Indeed, in 5.12:
sage: (2*e).simplify_radical() -2*log(2) + 2*log(sqrt(2) + 1) + 2*log(sqrt(2) - 1)
(Note the slight Pynac-related, unimportant, reordering.)
If I recall correctly, Paul was one of the bigger voices behind removing simplify_radical
from full simplification, so hopefully #10983 can just change their doctest here.
comment:3 Changed 3 years ago by
replacing simplify_full
by simplify_radical
indeed solves the two issues we have in #10983, and it is clearer.
I thus propose to close that ticket.
Paul
comment:4 Changed 3 years ago by
- Reviewers set to Paul Zimmermann, Karl-Dieter Crisman
- Status changed from new to needs_review
Okay, let's close this.
comment:5 Changed 3 years ago by
- Milestone changed from sage-5.13 to sage-duplicate/invalid/wontfix
- Status changed from needs_review to positive_review
comment:6 Changed 3 years ago by
- Resolution set to duplicate
- Status changed from positive_review to closed
Note: See
TracTickets for help on using
tickets.
I assume this stems from #12737? Just guessing.