Opened 11 years ago

Last modified 10 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 10 years ago by burcin

  • Milestone changed from sage-3.4.2 to sage-wishlist

#2778 was a duplicate of this.

Note: See TracTickets for help on using tickets.