#14591: cosh integral incorrect because of abs_integrate
------------------------+---------------------------------------------------
   Reporter:  kcrisman  |             Owner:  burcin   
       Type:  defect    |            Status:  new      
   Priority:  major     |         Milestone:  sage-5.10
  Component:  calculus  |          Keywords:           
Work issues:            |   Report Upstream:  N/A      
  Reviewers:            |           Authors:           
  Merged in:            |      Dependencies:           
   Stopgaps:            |  
------------------------+---------------------------------------------------
 See [http://ask.sagemath.org/question/2577/integrate-with-elliptic-
 integral-special-function?answer=3545#3545 this ask.sagemath question].

 {{{
 sage: a = integrate(sqrt(1-1/4*cosh(x)^2),x)
 sage: a.full_simplify()
 cosh(x)
 }}}
 Not that I'm an expert here, but at any rate, viewed as real functions
 this makes no sense, though perhaps on some branch it does.  This happens
 because
 {{{

 Maxima 5.29.1 http://maxima.sourceforge.net
 using Lisp ECL 12.12.1
 Distributed under the GNU Public License. See the file COPYING.
 Dedicated to the memory of William Schelter.
 The function bug_report() provides bug reporting information.
 (%i1) domain:complex;
 (%o1)                               complex
 (%i2) display2d:false;

 (%o2) false
 (%i3) B:integrate(sqrt(1-cosh(x)^2/4),x);

 (%o3) 'integrate(sqrt(1-cosh(x)^2/4),x)
 (%i4) trigsimp(B);

 (%o4) 'integrate(sqrt(-(cosh(x)^2-4)/4),x)
 (%i5) fullratsimp(B);

 (%o5) 'integrate(sqrt(-(cosh(x)^2-4)/4),x)
 (%i6) load(abs_integrate);

 (%o6)
 
"/Users/.../sage-5.9.rc1/local/share/maxima/5.29.1/share/contrib/integration/abs_integrate.mac"
 (%i7) trigsimp(B);

 (%o7) cosh(x)
 (%i8) fullratsimp(B);

 (%o8) cosh(x)
 }}}
 I'm not sure we want to unload `abs_integrate` but we need to figure
 something out here.

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/14591>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB

-- 
You received this message because you are subscribed to the Google Groups 
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.


Reply via email to