Ask Your Question

assume gives false for a<oo

asked 2020-06-21 18:42:01 +0200

curios_mind gravatar image

updated 2023-01-09 23:59:52 +0200

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 19:58:33 +0200

tmonteil gravatar image

updated 2020-06-22 23:39:28 +0200

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 23:19:56 +0200 )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 18:42:01 +0200

Seen: 299 times

Last updated: Jun 22 '20