home bbs files messages ]

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