assume gives false for a<oo

curios_mind
115 ●1 ●5 ●15

Hello

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

Why does this code print False.

1 Answer

Sort by » oldest newest most voted

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

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

curios_mind ( 2020-06-22 23:19:56 +0100 )edit

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

1 follower

Asked: 2020-06-21 18:42:01 +0100

Seen: 317 times

Last updated: Jun 22 '20