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

Asked: **
2020-06-21 11:42:01 -0600
**

Seen: **100 times**

Last updated: **Jun 22**

Assumption seems to break integrate(); is this a bug?

integrate results that are different from using maxima

"showing" both input and output

Assumption that n is positive integer

Interact layout in Jupyter-Notebook

Wrong factorization of expressions containing exponentials ?

How to use algorithm='mathematica free' to calculate definite integral?

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.