# 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 -0500
**

Seen: **97 times**

Last updated: **Jun 22**

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

Stack overflow in boolean test

Sage incorrectly evaluates series

How to assume the sum of some variables is equal to a constant?

chromatic polynomial graph with loops

Sage symbolic math simplification error

Sagemath 8.0 and Sagemath 8.1 and Windows 10

Cannot mulyiply polynomial by matrix when ordering is explicitly specified

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.