Opened 13 years ago
Last modified 12 years ago
#2744 new enhancement
make symbolicequations deal with logical combinations
Reported by: | jason | Owned by: | was |
---|---|---|---|
Priority: | major | Milestone: | sage-wishlist |
Component: | calculus | Keywords: | |
Cc: | Merged in: | ||
Authors: | Reviewers: | ||
Report Upstream: | Work issues: | ||
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description
It would be nice if the following worked
sage: f=(x<0) | (x>5) sage: f.subs(x=6) (6<0) | (6>5) sage: bool(f.subs(x=6)) True sage: f= ~(x==2) sage: bool(f.subs(x=0)) True
Change History (1)
comment:1 Changed 12 years ago by
- Milestone changed from sage-3.4.2 to sage-wishlist
Note: See
TracTickets for help on using
tickets.
#2778 was a duplicate of this.