Opened 8 years ago

Closed 8 years ago

# regression in simplify_full

Reported by: Owned by: zimmerma major sage-duplicate/invalid/wontfix calculus mjo Paul Zimmermann, Karl-Dieter Crisman N/A

### 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.

### comment:1 Changed 8 years ago by kcrisman

I assume this stems from #12737? Just guessing.

### comment:2 Changed 8 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 8 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 8 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 8 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 8 years ago by jdemeyer

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