ASKSAGE: Sage Q&A Forum - RSS feedhttps://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Mon, 22 Jun 2020 23:19:56 +0200assume gives false for a<oohttps://ask.sagemath.org/question/52135/assume-gives-false-for-aoo/ Hello
reset()
var('a')
assume(a<99)
print(bool(a<+Infinity)) # or print(bool(a<oo))
Why does this code print `False`. Sun, 21 Jun 2020 18:42:01 +0200https://ask.sagemath.org/question/52135/assume-gives-false-for-aoo/Answer by tmonteil for <p>Hello</p>
<pre><code>reset()
var('a')
assume(a<99)
print(bool(a<+Infinity)) # or print(bool(a<oo))
</code></pre>
<p>Why does this code print <code>False</code>. </p>
https://ask.sagemath.org/question/52135/assume-gives-false-for-aoo/?answer=52153#post-id-52153First, 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](https://trac.sagemath.org/ticket/29938) and it is also listed on [the symbolic wiki page](https://trac.sagemath.org/wiki/symbolics)Mon, 22 Jun 2020 19:58:33 +0200https://ask.sagemath.org/question/52135/assume-gives-false-for-aoo/?answer=52153#post-id-52153Comment by curios_mind for <p>First, you should know that for symbolic computations, <code>False</code> does not mean <code>i know this is False</code>, but <code>i was not able to prove it is True</code>.</p>
<p>That said, for such simple comparison, Sage should indeed be able to decide, hence i consider this as a bug.</p>
<p>Thanks for reporting, this is now <a href="https://trac.sagemath.org/ticket/29938">trac ticket 29938</a> and it is also listed on <a href="https://trac.sagemath.org/wiki/symbolics">the symbolic wiki page</a></p>
https://ask.sagemath.org/question/52135/assume-gives-false-for-aoo/?comment=52158#post-id-52158Thanks for the clarification. I think it is an important point of view.Mon, 22 Jun 2020 23:19:56 +0200https://ask.sagemath.org/question/52135/assume-gives-false-for-aoo/?comment=52158#post-id-52158