Opened 4 years ago
#18745 new enhancement
implement forgetting of assumptions on specific expressions
| Reported by: | rws | Owned by: | |
|---|---|---|---|
| Priority: | major | Milestone: | sage-6.8 |
| Component: | symbolics | Keywords: | |
| Cc: | Merged in: | ||
| Authors: | Reviewers: | ||
| Report Upstream: | N/A | Work issues: | |
| Branch: | Commit: | ||
| Dependencies: | Stopgaps: |
Description
The idea of forget_about(x) came up in this ask.sagemath.org question.
Note: See
TracTickets for help on using
tickets.
