ASKSAGE: Sage Q&A Forum - Individual question feedhttp://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Fri, 11 Nov 2016 15:00:31 -0600Inequality with powershttp://ask.sagemath.org/question/35490/inequality-with-powers/Hi,
I wanted to solve this inequality:
assume(x, 'integer')
solve(2^(x-1) > 10^4, x, to_poly_solve=True, explicit_solutions=True)
I was expecting something like
x>=15
or
{x > (log(10000) + log(2)) / log(2)}
(as geogebra algebra system gives)
But instead I get
#0: solve_rat_ineq(ineq=2^(_SAGE_VAR_x-1) < 10000)
[[-2^x + 20000 > 0]]
What's wrong? Thank you.Tue, 08 Nov 2016 14:44:05 -0600http://ask.sagemath.org/question/35490/inequality-with-powers/Comment by Romuald_314 for <p>Hi,</p>
<p>I wanted to solve this inequality:</p>
<pre><code>assume(x, 'integer')
solve(2^(x-1) > 10^4, x, to_poly_solve=True, explicit_solutions=True)
</code></pre>
<p>I was expecting something like</p>
<pre><code>x>=15
</code></pre>
<p>or</p>
<pre><code>{x > (log(10000) + log(2)) / log(2)}
</code></pre>
<p>(as geogebra algebra system gives)
But instead I get</p>
<pre><code>#0: solve_rat_ineq(ineq=2^(_SAGE_VAR_x-1) < 10000)
[[-2^x + 20000 > 0]]
</code></pre>
<p>What's wrong? Thank you.</p>
http://ask.sagemath.org/question/35490/inequality-with-powers/?comment=35532#post-id-35532Is it so weird so that it's impossible to fix?Fri, 11 Nov 2016 15:00:31 -0600http://ask.sagemath.org/question/35490/inequality-with-powers/?comment=35532#post-id-35532