Revision history [back]
 | 1 | initial version |
Looks like double inequalities aren't parsed properly by "assume":
sage: assume(0<= x<= 1/2)
sage: bool(0<=x<=1/2)
False
sage: assume(0<=x)
sage: assume(x<=1/2)
sage: bool(0<=x<=1/2)
True
| | 1 | initial version |
Looks like double inequalities aren't parsed properly by "assume":
sage: assume(0<= x<= 1/2)
sage: bool(0<=x<=1/2)
False
sage: assume(0<=x)
sage: assume(x<=1/2)
sage: bool(0<=x<=1/2)
True
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.