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
.
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.
Please start posting anonymously - your entry will be published after you log in or create a new account.
Asked: 2020-06-21 18:42:01 +0100
Seen: 318 times
Last updated: Jun 22 '20
How do I understand the result of symbolic integrals
possible bug involving absolute value of sin function and assume
Additional conditions for expression
Interactive maxima question on fraction value during solve()
assume() seems not to work for a specific case...
Plot picewise function + infinity, error message
Problem with sign / sgn and .n()
Plotting an integral with a variable as a limit