var("a b")
assume(b > 0, b < 1, a > 0, a < 1)
bool(a*b < 1)
returns false, why?
Revision history [back]
 | 1 | initial version |
Assumptions
| | 2 | retagged |
Assumptions
var("a b")
assume(b > 0, b < 1, a > 0, a < 1)
bool(a*b < 1)
returns false, why?
