Reflexive is the wrong word. I meant
a=b implies b=a and b=a implies a=b
I don't know what that is called. That is what I meant.
Sorry,
Rich
------------Original Message------------
From: "Richard Hennessy"<rvh2007 at comcast.net>
To: fateman at cs.berkeley.edu
Cc: "'Maxima List'" <maxima at math.utexas.edu>
Date: Fri, Sep-5-2008 12:26 PM
Subject: Re: [Maxima] How to simplifiy a*sin(x)+b*cos(x)
Yes, but equality is reflexive so c = d is equivalent to d=c. It is a proof of the relation either way. I have to agree that it is maybe a complication rather than a simplification. I don't know a way to go in the reverse direction using Maxima.
------------Original Message------------
From: "Richard Fateman" <fateman at cs.berkeley.edu>
To: "'Judy Toth'" <judyt2009 at comcast.net>
Cc: "'Maxima List'" <maxima at math.utexas.edu>
Date: Fri, Sep-5-2008 12:14 PM
Subject: Re: [Maxima] How to simplifiy a*sin(x)+b*cos(x)
try expand(trigsimp(trigexpand( sqrt(b^2+a^2)*sin(x+atan(b/a)) )));
but that is in the reverse direction. Your notion of simplification is more like complification.
_______________________________________________
Maxima mailing list
Maxima at math.utexas.edu
http://www.math.utexas.edu/mailman/listinfo/maxima