Opened 4 years ago

Closed 4 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 4 years ago by kcrisman

  • Cc mjo added

I assume this stems from #12737? Just guessing.

comment:2 Changed 4 years ago by kcrisman

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 4 years ago by zimmerma

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 4 years ago by kcrisman

  • Reviewers set to Paul Zimmermann, Karl-Dieter Crisman
  • Status changed from new to needs_review

Okay, let's close this.

comment:5 Changed 4 years ago by kcrisman

  • Milestone changed from sage-5.13 to sage-duplicate/invalid/wontfix
  • Status changed from needs_review to positive_review

comment:6 Changed 4 years ago by jdemeyer

  • Resolution set to duplicate
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.