On Fri, 26 Aug 2016, leif wrote:
For me, it /does/ make a difference (using Python vs. Sage literals):
sage: if 2*s > n*log(n, 2): print "True"
sage: if 2r*s > n*log(n, 2r): print "True" True
OK, I don't know what I did wrong in my test. Now I got the same result. Thanks!
* * *But shouldn't it work in any case? I.e. comparison of log(a+b*c^2...) to some number should work when a,b,c... are sage Integers.
-- Jori Mäntysalo