assume gives false for a<oo

First time here? Check out the FAQ!

curios_mind
115 ●1 ●6 ●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 ( 4 years ago )

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

1 follower

Asked: 4 years ago

Seen: 345 times

Last updated: Jun 22 '20