Ask Your Question
2

assume gives false for a<oo

asked 2020-06-21 11:42:01 -0600

curios_mind gravatar image

updated 2020-06-22 12:58:49 -0600

tmonteil gravatar image

Hello

reset()
var('a')
assume(a<99)
print(bool(a<+Infinity)) # or print(bool(a<oo))

Why does this code print False.

edit retag flag offensive close merge delete

1 answer

Sort by ยป oldest newest most voted
0

answered 2020-06-22 12:58:33 -0600

tmonteil gravatar image

updated 2020-06-22 16:39:28 -0600

First, you should know that for symbolic computations, False does not mean i know this is False, but i was not able to prove it is True.

That said, for such simple comparison, Sage should indeed be able to decide, hence i consider this as a bug.

Thanks for reporting, this is now trac ticket 29938 and it is also listed on the symbolic wiki page

edit flag offensive delete link more

Comments

Thanks for the clarification. I think it is an important point of view.

curios_mind gravatar imagecurios_mind ( 2020-06-22 16:19:56 -0600 )edit

Your Answer

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

Add Answer

Question Tools

1 follower

Stats

Asked: 2020-06-21 11:42:01 -0600

Seen: 100 times

Last updated: Jun 22