id summary reporter owner description type status priority milestone component resolution keywords cc merged author reviewer upstream work_issues branch commit dependencies stopgaps
2744 make symbolicequations deal with logical combinations jason was "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" enhancement new major sage-wishlist calculus