# 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`

.

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`

.

add a comment

0

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: **223 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

Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.