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,947 of 10,432   
   Nasser M. Abbasi to Axel Vogt   
   Re: if result of dsolve contains integra   
   06 Jan 16 05:45:15   
   
   From: nma@12000.org   
      
   On 1/6/2016 3:20 AM, Axel Vogt wrote:   
   > On 06.01.2016 08:22, Nasser M. Abbasi wrote:   
   >> If one has a separable ode, first order, such as this:   
   >>   
   >> eq:= diff(y(x),x) = (a4*x^4+a3*x^3+a2*x^2+a1*x+a0)^(-1/2);   
   >>   
   >> Maple gives the answer with simply integrating the RHS, but   
   >> leaves the integral unevaluated.  Would you consider this as solved   
   >> or not?  Here is Maple solution to the above ode   
   >>   
   >>     result:= y(x) = Int(1/sqrt(a4*x^4+a3*x^3+a2*x^2+a1*x+a0), x)+_C1   
   >>   
   > ...   
   >> Mathematica gives this   
   > ...   
   >> ..... too long to show....   
   >   
      
   > Maple gives UperCase Int, which is the inert = unevaluated   
   > form. You have to use the 'value' command to get more and   
   > length is ~ 5000 characters ~ 1 page   
   >   
      
   I did not notice the result from dsolve was Inert, since I   
   was looking at the GUI (I just copied the output above using   
   the mouse, when making this post, and did not notice the   
   UpperCase there).   
      
   But I also did not know Maple can return result from commands   
   as Inert. I am not sure what is the point of doing this, since   
   the user wants to see the actual result.   
      
   This is a little confusing actually. I am running this   
   in script and need to capture the "final" result of dsolve.   
      
   So how is one supposed to know if they need to issue   
   "value()" command or not on the result? Is there a way to   
   tell Maple to return the final result and not use Inert?   
      
   I am using Maple 2015.   
      
   > NB: that result is "generic", i.e. does not discuss cases   
   > for the parameter constellations and usually assumes the   
   > leading one is not zero (you can reduce to a4 = 1 anyway   
   > in your case).   
   >   
      
   Thanks,   
   --Nasser   
      
   --- 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