On Thursday, March 10, 2016 at 3:41:08 AM UTC+1, vdelecroix wrote: > > Why Sage is not able to check this simple relation directly?
Because you would need to set a limit for such checks, and then you get inconsistencies? sage: bool((log(8) == 3*log(2)).simplify_log()) > True > > But not very convenient. > I think it very convenient to have a way to say "I want to do this" Ah you mean, it could be a shorter command, that's the usual UI problem. If you propose something short and nice like (log(8) == 3*log(2)).holds() people will say "but that breaks old books!!1!" Well haven't you heard old books are broken by definition. Regards, -- 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.
