Tried the following in sage. The answer is False, which is apparently incorrect. Anyone ever encountered this before? Any idea on what happened here?
forget() assume(x >= 0) expr = sin(x) < x
Revision history [back]
 | 1 | initial version |
Strange result of a relational expression
| | 2 | No.2 Revision |
Strange result of a relational expression
Tried the following in sage. The answer is False, which is apparently incorrect. Anyone ever encountered this before? Any idea on what happened here?
print(bool(expr))
| | 3 | No.3 Revision |
Strange result of a relational expression
Tried the following in sage. The answer is False, which is apparently incorrect. Anyone ever encountered this before? Any idea on what happened here?
forget()
assume(x >= 0)
expr = sin(x) < <= x
print(bool(expr))
| | 4 | No.4 Revision |
Strange result of a relational expression
forget()
assume(x >= 0)
expr = sin(x) <= x
print(bool(expr))
