Forums before death by AOL, social media and spammers... "We can't have nice things"
|    sci.math.symbolic    |    Symbolic algebra discussion    |    10,432 messages    |
[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]
|    Message 8,870 of 10,432    |
|    clicliclic@freenet.de to Richard Fateman    |
|    Re: Simplifying exponential expressions     |
|    03 Sep 15 12:42:22    |
      Richard Fateman schrieb:       >       > The original comment from Axel did not have the full context of the       > question, which was posted to a Maple newsgroup.       >       > For the readers of sci.math.symbolic, here are 3 expressions,       > in Maxima syntax, that are the source of the Maple complaint..       >       > [F,G,H] :       >       > [(%e^(-%i*n*t-%i*(1-n)*t)*(%e^%e^(%i*t)+1))/(((%e^%e^(%i*t)-1)       (%e^(2*%e^(%i*t))+1)+1)*cosh(%e^(%i*t))),       >       > (%e^%e^(%i*t)+%e^(-%e^(%i*t)))/(2*cosh(%e^(%i*t))),       >       > (%e^(-%i*t)*(-2*cosh(%e^(%i*t))+%e^%e^(%i*t)+%e^(-%e^(%i*t))))       cosh(%e^(%i*t))]       >       > in Maxima,       > F,exponentialize, ratsimp returns 2*exp(%i*t)       > G,exponentialize returns 1       > H,exponentialize returns 0       >       > So apparently the solution is similar to the one in Maple,       > to convert to exponentials.       >              Thanks for the missing context. I am assuming that Maxima returns       2*exp(-%i*t) for the first expression :).              With the factory settings [Trigonometry := Auto, Trigpower := Auto] for       trigonometric simplification, Derive 6.10 transforms [F,G,H] as follows:              [#e^(-#i*n*t-#i*(1-n)*t)*(#e^(#e^(#i*t))+1)/(((#e^(#e^(#i*t))-1)~       /(#e^(2*#e^(#i*t))+1)+1)*COSH(#e^(#i*t))),(#e^(#e^(#i*t))+#e^(-#~       e^(#i*t)))/(2*COSH(#e^(#i*t))),#e^(-#i*t)*(-2*COSH(#e^(#i*t))+#e~       ^(#e^(#i*t))+#e^(-#e^(#i*t)))/COSH(#e^(#i*t))]              [16*(#e^(10*COS(t))*COS(t)+#e^(9*COS(t))*(COS(2*SIN(t))*(COS(t)*~       COS(SIN(t))-SIN(t)*SIN(SIN(t)))+SIN(2*SIN(t))*(SIN(t)*COS(SIN(t)~       )+COS(t)*SIN(SIN(t)))+COS(t)*COS(SIN(t))-SIN(t)*SIN(SIN(t)))+#e^~       (8*COS(t))*(2*COS(2*SIN(t))*(COS(t)*COS(SIN(t))^2-SIN(t)*SIN(SIN~       (t))*COS(SIN(t))+COS(t))+2*SIN(2*SIN(t))*SIN(SIN(t))*(COS(t)*COS~       (SIN(t))-SIN(t)*SIN(SIN(t)))+2*COS(t)*COS(SIN(t))^2+2*SIN(t)*SIN~       (SIN(t))*COS(SIN(t))-COS(t))+#e^(7*COS(t))*(COS(4*SIN(t))*(COS(t~       )*COS(SIN(t))-SIN(t)*SIN(SIN(t)))+SIN(4*SIN(t))*(SIN(t)*COS(SIN(~       t))+COS(t)*SIN(SIN(t)))+6*COS(t)*COS(2*SIN(t))*COS(SIN(t))+(SIN(~       t)*COS(SIN(t))-COS(t)*SIN(SIN(t)))*(COS(SIN(t))*(SIN(2*SIN(t))*C~       OS(SIN(t))-3*SIN(SIN(t)))+SIN(SIN(t))*(SIN(2*SIN(t))*SIN(SIN(t))~       -COS(SIN(t))))-SIN(2*SIN(t))*(SIN(t)*COS(SIN(t))+COS(t)*SIN(SIN(~       t)))+COS(t)*COS(SIN(t))+SIN(t)*SIN(SIN(t)))+#e^(6*COS(t))*(2*COS~       (4*SIN(t))*COS(SIN(t))*(COS(t)*COS(SIN(t))-SIN(t)*SIN(SIN(t)))+2~       *SIN(4*SIN(t))*SIN(SIN(t))*(COS(t)*COS(SIN(t))-SIN(t)*SIN(SIN(t)~       ))+6*COS(2*SIN(t))*COS(SIN(t))*(COS(t)*COS(SIN(t))+SIN(t)*SIN(SI~       N(t)))+SIN(t)*(COS(SIN(t))*(SIN(2*SIN(t))*COS(SIN(t))-3*SIN(SIN(~       t)))+SIN(SIN(t))*(SIN(2*SIN(t))*SIN(SIN(t))-COS(SIN(t))))-SIN(2*~       SIN(t))*(2*SIN(t)*COS(SIN(t))^2-2*COS(t)*SIN(SIN(t))*COS(SIN(t))~       -SIN(t))+2*COS(t))+#e^(5*COS(t))*(COS(4*SIN(t))*(3*COS(t)*COS(SI~       N(t))+SIN(t)*SIN(SIN(t)))-SIN(4*SIN(t))*(SIN(t)*COS(SIN(t))+COS(~       t)*SIN(SIN(t)))+2*COS(2*SIN(t))*((SIN(t)*COS(SIN(t))-COS(t)*SIN(~       SIN(t)))*(COS(SIN(t))*(SIN(2*SIN(t))*COS(SIN(t))-2*SIN(SIN(t)))+~       SIN(SIN(t))*(SIN(2*SIN(t))*SIN(SIN(t))-COS(SIN(t))))+COS(t)*COS(~       SIN(t))^3+SIN(t)*SIN(SIN(t))*COS(SIN(t))^2+COS(t)*COS(SIN(t))+SI~       N(t)*SIN(SIN(t)))+2*COS(t)*SIN(2*SIN(t))*SIN(SIN(t))+5*COS(t)*CO~       S(SIN(t))+SIN(t)*SIN(SIN(t)))+#e^(4*COS(t))*(COS(4*SIN(t))*(2*CO~       S(t)*COS(SIN(t))^2+2*SIN(t)*SIN(SIN(t))*COS(SIN(t))+COS(t))-SIN(~       4*SIN(t))*(2*SIN(t)*COS(SIN(t))^2-2*COS(t)*SIN(SIN(t))*COS(SIN(t~       ))-SIN(t))+2*COS(2*SIN(t))*(SIN(t)*(COS(SIN(t))*(SIN(2*SIN(t))*C~       OS(SIN(t))-2*SIN(SIN(t)))+SIN(SIN(t))*(SIN(2*SIN(t))*SIN(SIN(t))~       -COS(SIN(t))))+COS(t)*COS(SIN(t))^2)+2*SIN(2*SIN(t))*SIN(SIN(t))~       *(COS(t)*COS(SIN(t))-SIN(t)*SIN(SIN(t)))+4*COS(t)*COS(SIN(t))^2+~       4*SIN(t)*SIN(SIN(t))*COS(SIN(t))+COS(t))+#e^(3*COS(t))*(COS(4*SI~       N(t))*(COS(t)*COS(SIN(t))+SIN(t)*SIN(SIN(t)))+SIN(4*SIN(t))*(COS~       (t)*SIN(SIN(t))-SIN(t)*COS(SIN(t)))+COS(2*SIN(t))*(5*COS(t)*COS(~       SIN(t))+3*SIN(t)*SIN(SIN(t)))+(SIN(t)*COS(SIN(t))-COS(t)*SIN(SIN~       (t)))*(COS(SIN(t))*(SIN(2*SIN(t))*COS(SIN(t))-SIN(SIN(t)))+SIN(S~       IN(t))*(SIN(2*SIN(t))*SIN(SIN(t))-COS(SIN(t))))-SIN(2*SIN(t))*(S~       IN(t)*COS(SIN(t))+COS(t)*SIN(SIN(t)))+2*COS(t)*COS(SIN(t))+2*SIN~       (t)*SIN(SIN(t)))+#e^(2*COS(t))*(COS(2*SIN(t))*(2*COS(t)*COS(SIN(~       t))^2+2*SIN(t)*SIN(SIN(t))*COS(SIN(t))+3*COS(t))+SIN(t)*(COS(SIN~       (t))*(SIN(2*SIN(t))*COS(SIN(t))-SIN(SIN(t)))+SIN(SIN(t))*(SIN(2*~       SIN(t))*SIN(SIN(t))-COS(SIN(t))))-SIN(2*SIN(t))*(2*SIN(t)*COS(SI~       N(t))^2-2*COS(t)*SIN(SIN(t))*COS(SIN(t))-SIN(t)))+#e^COS(t)*(COS~       (2*SIN(t))*(COS(t)*COS(SIN(t))+SIN(t)*SIN(SIN(t)))+SIN(2*SIN(t))~       *(COS(t)*SIN(SIN(t))-SIN(t)*COS(SIN(t)))+COS(t)*COS(SIN(t))+SIN(~       t)*SIN(SIN(t)))+COS(t))/(8*#e^(10*COS(t))+16*#e^(9*COS(t))*(COS(~       2*SIN(t))*COS(SIN(t))+SIN(2*SIN(t))*SIN(SIN(t)))+8*#e^(8*COS(t))~       *(4*COS(2*SIN(t))+1)+16*#e^(7*COS(t))*(COS(4*SIN(t))*COS(SIN(t))~       +SIN(4*SIN(t))*SIN(SIN(t))+COS(2*SIN(t))*COS(SIN(t))*(4*COS(SIN(~       t))^2-1)+SIN(SIN(t))*(COS(SIN(t))*(SIN(2*SIN(t))*COS(SIN(t))+SIN~       (SIN(t)))-SIN(SIN(t))*(SIN(2*SIN(t))*SIN(SIN(t))-COS(SIN(t)))+SI~       N(2*SIN(t))*(2*COS(SIN(t))^2-1)))+16*#e^(6*COS(t))*(COS(4*SIN(t)~       )*(2*COS(SIN(t))^2-1)+2*SIN(4*SIN(t))*SIN(SIN(t))*COS(SIN(t))+CO~       S(2*SIN(t))*(1-2*(SIN(SIN(t))*(COS(SIN(t))*(COS(SIN(t))*(SIN(2*S~       IN(t))*COS(SIN(t))-SIN(SIN(t)))+SIN(SIN(t))*(SIN(2*SIN(t))*SIN(S~       IN(t))-COS(SIN(t))))+SIN(SIN(t)))-COS(SIN(t))^2))+1)+4*#e^(5*COS~       (t))*(2*COS(4*SIN(t))*COS(SIN(t))*(8*COS(SIN(t))^2-3)+8*SIN(4*SI~       N(t))*SIN(SIN(t))*(2*COS(SIN(t))^2-1)+4*COS(2*SIN(t))*(2*COS(SIN~       (t))-SIN(SIN(t))*(COS(SIN(t))*(SIN(2*SIN(t))*COS(SIN(t))-SIN(SIN~       (t)))+SIN(SIN(t))*(SIN(2*SIN(t))*SIN(SIN(t))-COS(SIN(t)))))+SIN(~       2*SIN(t))*SIN(SIN(t))*(8*COS(SIN(t))^2+1)+2*COS(SIN(t))*(COS(SIN~       (t))^2+2))+#e^(4*COS(t))*(12*COS(4*SIN(t))+3*COS(2*SIN(t))*(6*CO~       S(SIN(t))^2+7)-4*SIN(SIN(t))^4+29)+16*#e^(3*COS(t))*(COS(4*SIN(t~       ))*COS(SIN(t))+SIN(4*SIN(t))*SIN(SIN(t))+COS(2*SIN(t))*COS(SIN(t~       ))-SIN(2*SIN(t))*SIN(SIN(t))+2*COS(SIN(t)))+8*#e^(2*COS(t))*(4*C~       OS(2*SIN(t))+1)+16*#e^COS(t)*(COS(2*SIN(t))*COS(SIN(t))+SIN(2*SI~       N(t))*SIN(SIN(t)))+8)-8*#i*(2*#e^(10*COS(t))*SIN(t)+2*#e^(9*COS(~       t))*(COS(2*SIN(t))*(SIN(t)*COS(SIN(t))+COS(t)*SIN(SIN(t)))+SIN(2~       *SIN(t))*(SIN(t)*SIN(SIN(t))-COS(t)*COS(SIN(t)))+SIN(t)*COS(SIN(~       t))+COS(t)*SIN(SIN(t)))+#e^(8*COS(t))*(4*COS(2*SIN(t))*(SIN(t)*C~       OS(SIN(t))^2+COS(t)*SIN(SIN(t))*COS(SIN(t))+SIN(t))+SIN(2*SIN(t)~       )*(4*SIN(t)*SIN(SIN(t))*COS(SIN(t))+COS(t)*(4*SIN(SIN(t))^2-1))+~       4*SIN(t)*COS(SIN(t))^2-2*COS(t)*SIN(SIN(t))*COS(SIN(t))-2*SIN(t)~       )+2*#e^(7*COS(t))*(COS(4*SIN(t))*(SIN(t)*COS(SIN(t))+COS(t)*SIN(~       SIN(t)))+SIN(4*SIN(t))*(SIN(t)*SIN(SIN(t))-COS(t)*COS(SIN(t)))+6~       *SIN(t)*COS(2*SIN(t))*COS(SIN(t))-(COS(t)*COS(SIN(t))+SIN(t)*SIN~       (SIN(t)))*(COS(SIN(t))*(SIN(2*SIN(t))*COS(SIN(t))-3*SIN(SIN(t)))~       +SIN(SIN(t))*(SIN(2*SIN(t))*SIN(SIN(t))-COS(SIN(t))))+SIN(2*SIN(~       t))*(COS(t)*COS(SIN(t))-SIN(t)*SIN(SIN(t)))+SIN(t)*COS(SIN(t))-C~       OS(t)*SIN(SIN(t)))+2*#e^(6*COS(t))*(2*COS(4*SIN(t))*COS(SIN(t))*~       (SIN(t)*COS(SIN(t))+COS(t)*SIN(SIN(t)))+2*SIN(4*SIN(t))*SIN(SIN(~              [continued in next message]              --- SoupGate-Win32 v1.05        * Origin: you cannot sedate... all the things you hate (1:229/2)    |
[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]
(c) 1994, bbs@darkrealms.ca