Funnier than what I thought initially sage: for i in range(20): ....: print i, bool(log(2**i) / log(2) == ZZ(i)) 0 True 1 True 2 True 3 False 4 True 5 True 6 False 7 False 8 True 9 True 10 True 11 False 12 False 13 True 14 False 15 True 16 True 17 False 18 True 19 False
On 09/03/16 23:41, Vincent Delecroix wrote:
Hello, In the current beta I have sage: bool(log(8) == 3*log(2)) False Why Sage is not able to check this simple relation directly? Hopefully, sage: bool((log(8) == 3*log(2)).simplify_log()) True But not very convenient. Best, Vincent
-- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
