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