(no subject)



Dear Barton

Thank you for reply.
> What exactly were you trying to do?
I try transformation of the following expression.
I know that I can use  the comand "trigexpand" comand.
 cos(z1+z2)-->cos(z1)*cos(z2)-sin(z1)*sin(z2)
 

To learn the method of transforming the expression by "Maxima", 
I want to transform the expression through the following procedure. 
 
cos(z1+z2)
%e^(%i*z2+%i*z1)/2+%e^(-%i*z2-%i*z1)/2
%e^(%i*z2)*%e^(%i*z1)/2+%e^(-%i*z2)*%e^(-%i*z1)/2
((%e^(%i*z1)+%e^(-%i*z1))*(%e^(%i*z2)+%e^(-%i*z2)))/4+((%e^(%i*z1)-%e^(-%i*z1))*(%e^(%i*z2)-%e^(-%i*z2)))/4
cos(z1)*cos(z2)-sin(z1)*sin(z2)
 
Is it nonsense?
 
Part Marty
 
> Subject: Re: [Maxima] (no subject)
> From: willisb at unk.edu
> To: shinabe.munehiro at hotmail.co.jp
> CC: maxima at math.utexas.edu
> Date: Wed, 1 Jun 2011 14:28:41 -0500
> 
> The simplification a^b * a^c --> a^(b+c) is built into the general simplifier.
> I know of no way to prevent Maxima from doing this simplification.
> 
> What exactly were you trying to do?
> 
> --Barton
> 
> -----maxima-bounces at math.utexas.edu wrote: -----
> 
> 
> >Can I put the the attribute to the operator"^"?
> >
> > 
> >
> >Example: 
> >
> >a^(b+c) -->a^b*a^c
> >
> > 
> >
> >kill(all)$
> >(%i1) declare(["^",exp],additive);
> >         a^(b+c);
> >         exp(b+c);
> >
> >(%o1) done
> >(%o2) a^(c+b)
> >(%o3) %e^c+%e^b
> >                               
> >_______________________________________________
> >Maxima mailing list
> >Maxima at math.utexas.edu
> >http://www.math.utexas.edu/mailman/listinfo/maxima