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))See here: http://ask.sagemath.org/question/1144... and here: http://ask.sagemath.org/question/605/...
Quoting from DSM's answer:
"False" doesn't necessarily mean false, it might only mean "Sage couldn't figure out how to prove it was true.
To elaborate, it is not possible to always prove something is false or true on a computer (at least not in the age of the universe...). Different programs might return different things in different logics, but Sage sticks with Python and returns only True or False to booleans.
I kind of get it, still I would say, whatever the evaluation algorithm is, a bug just showed itself and it might not be a good choice just treat it as something inevitable.
Asked: 13 years ago
Seen: 413 times
Last updated: Feb 21 '12
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.
