Opened 6 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:

Status badges


The idea of forget_about(x) came up in this question.

Change History (0)

Note: See TracTickets for help on using tickets.