Opened 7 years ago

Last modified 5 years ago

## #12737 closed enhancement

# Add an `unsafe` argument to Expression.simplify_full() — at Initial Version

Reported by: | mjo | Owned by: | mjo |
---|---|---|---|

Priority: | major | Milestone: | sage-5.12 |

Component: | symbolics | Keywords: | |

Cc: | jvkersch, navigium | Merged in: | |

Authors: | Reviewers: | ||

Report Upstream: | N/A | Work issues: | |

Branch: | Commit: | ||

Dependencies: | #12650 | Stopgaps: |

### Description

Followup to #12650. There are a number of tickets open due to the use of `simplify_radical()`

in `simplify_full()`

. By adding an `unsafe`

argument, we make sure the user really knows what he's doing.

For example,

sage: f = sqrt( (x+1)^2 ) sage: f.full_simplify(unsafe=True) x + 1

This will fix at least,

- Ask Sage 767
- #3520 - inconsistency in simplify_radical
- #11668 -
`abs(a+b)^2 == (a+b)^2`

- #11934 - Symbolic simplification error
- #12322 - invalid simplification of complex logarithm

And maybe more.

**Note:**See TracTickets for help on using tickets.

Add the flag and update doctests.