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,719 of 10,432   
   vivien.lecomte@gmail.com to All   
   [Mathematica] integrability condition...   
   24 Dec 14 08:48:15   
   
   Hi,   
      
   with the assumption   
     $Assumptions = f \[Element] Reals && X \[Element] Reals   
   the integral   
     Integrate[Exp[(f + 1) x], {x, 1/2, X}]   
   improperly returns two(?) distinct "integral does not converge" messages,   
   while with no assumptions   
     $Assumptions = True   
   the same Integrate[...] returns the correct result without restriction on   
   conditions. (The returned result is valid for f different from -1; correct in   
   the limit where f goes to -1).    
      
   Would you estimate Mathematica behaves properly?   
      
   I observe the same phenomenon using    
    mathematica 9.0.1.0   
    mathematica 10.0.0.0   
    mathematica 10.0.2.0   
   on linux x86 (64bits)   
    Linux 3.16.0-4-amd64 #1 SMP Debian 3.16.7-ckt2-1 (2014-12-08) x86_64 GNU/Linux   
      
   Best,   
      
   Vivien   
      
   PS, adding the condition f ≠ 1 provides a correct answer   
     $Assumptions = f \[Element] Reals && X \[Element] Reals && f != -1   
   It thus seems Mathematica does not correctly determine the integrability   
   condition... of an exponential.   
      
   --- 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