assume gives false for a<oo
Hello
reset()
var('a')
assume(a<99)
print(bool(a<+Infinity)) # or print(bool(a<oo))
Why does this code print False
.
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.
Asked: 2020-06-21 18:42:01 +0200
Seen: 279 times
Last updated: Jun 22 '20