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.
Asked: 2012-02-21 03:43:00 +0100
Seen: 400 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.
