Strange result of a relational expression

asked 2012-02-21 03:43:00 +0100

seflyer
1 ●1

updated 2012-02-21 11:52:38 +0100

DSM

5242 ●21 ●68 ●112

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))

answered 2012-02-21 05:27:05 +0100

parzan
977 ●6 ●15 ●36

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.

edit flag offensive delete link

Comments

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.

kcrisman ( 2012-02-21 09:12:10 +0100 )edit

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.

seflyer ( 2012-02-26 06:25:21 +0100 )edit

add a comment

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Strange result of a relational expression

1 Answer

Comments

Your Answer

Question Tools

Stats

Related questions

Strange result of a relational expression edit

1 Answer

Comments

Your Answer

Question Tools

Stats

Related questions

Strange result of a relational expression