try algebraic:true;
ratsimp(expression);
Raymond Toy wrote:
>How would one go about showing that atan((5*sqrt(2)+4)/(3*sqrt(2)+16))
>is equal to atan((2*sqrt(2)+5)/(8*sqrt(2)+3))?
>
>It's easy enough to show that the args of the atan's are the same, but
>I want maxima to determine that the difference between the atan's is
>0. Note that these two atan's are part of two different expressions
>that involve other atan's and logs and the two expressions are
>supposed to be equal. I can get the logs to go away via logcontract,
>but not the atan's.
>
>What am I missing?
>
>Ray
>_______________________________________________
>Maxima mailing list
>Maxima at math.utexas.edu
>http://www.math.utexas.edu/mailman/listinfo/maxima
>
>