Ah, thanks, I didn't try that one!
I now have something like this to simplify an expression (usually solutions of
differential equations):
exponentialize:false;
demoivre:true;
trigreduce(trigsimp(radcan(ratsimp(trigexpand(radexpand(expr))))));
But I have no idea if part of this sequence of simplifications is doing
nothing, or if it matters much in which order I perform simplification.
Are there any 'best practices' for applying basically all simplification
routines to make sure you simplify rationals, exponentials, logarithms,
trigonometric stuff, well basically everything you would expect in the
solution of d.e.'s?
On Friday, February 01, 2013 12:30:09 AM laurent couraud wrote:
> Hi,
>
> It seems to work with trigreduce.
>
> Best.
>
> > -----Message d'origine-----
> > De : maxima-bounces at math.utexas.edu
> > [mailto:maxima-bounces at math.utexas.edu] De la part de Nijso Beishuizen
> > Envoy? : jeudi 31 janvier 2013 23:57
> > ? : maxima at math.utexas.edu
> > Objet : [Maxima] simplify using trigonometric identities
> >
> > I have a horrible expression:
> >
> > phi:
> > ((c-1)*cos(x)*sin((c+1)*x)+(1-c)*sin(x)*cos((c+1)*x)
> > + (-c-1)*cos(x)*sin((c-1)*x)
> > +(-c-1)*sin(x)*cos((c-1)*x)) /(2*c^2-2);
> >
> > which can be simplified to -sin(c*x)/(c^2-1)
> >
> > I simplified it by hand using a number of
> > sin(a+b)=sin(a)cos(b)+sin(b)cos(a) and cos(a+b) rules using subst(). But
> > can it be simplified in an automatic way without visual inspection?
> >
> > Best,
> > Nijso
> >
> > _______________________________________________
> > Maxima mailing list
> > Maxima at math.utexas.edu
> > http://www.math.utexas.edu/mailman/listinfo/maxima