Ask Your Question

assume gives false for a<oo

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

curios_mind gravatar image

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

tmonteil gravatar image


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

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

tmonteil gravatar image

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

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


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

curios_mind gravatar imagecurios_mind ( 2020-06-22 16:19:56 -0500 )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


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

Seen: 97 times

Last updated: Jun 22