I wanted to show that two equations are equal so I used the bool() function. Unfortunately sage (6.1.1) do not see that it is equal but obviously they are. If I replace log(x) with -log(1/x) it works and the replacement itself is also true for sage. What is the problem? Here is my cell:
bool( -g*m^2*log( (m*v*cos(alpha))/(m*v*cos(alpha) - k*x) ) /k^2 + m*v*sin(alpha)/k+ g*m^2/k^2 - (m*v*cos(alpha) - k*x)*sin(alpha)/(k*cos(alpha)) - (m*v*cos(alpha) - k*x)*g*m/(k^2*v*cos(alpha)) == (tan(alpha)+m*g/(k*v*cos(alpha)))*x + g*(m/k)^2 * log(1-k*x/(m*v*cos(alpha))) ) > False but bool(-g*m^2*log(x)/k^2 + m*v*sin(alpha)/k+ g*m^2/k^2 - (m*v*cos(alpha) - k*x)*sin(alpha)/(k*cos(alpha)) - (m*v*cos(alpha) - k*x)*g*m/(k^2*v*cos(alpha)) == (tan(alpha)+m*g/(k*v*cos(alpha)))*x + g*(m/k)^2 * log(1/x) ) > True -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To post to this group, send email to sage-support@googlegroups.com. Visit this group at http://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.
