#12947: Bug in integrating x*cos(x^3)
-------------------------------------+-------------------------------------
       Reporter:  kcrisman           |        Owner:  burcin
           Type:  defect             |       Status:  needs_review
       Priority:  trivial            |    Milestone:  sage-6.3
      Component:  calculus           |   Resolution:
       Keywords:                     |    Merged in:
        Authors:  Peter Bruin        |    Reviewers:  Ralf Stephan
Report Upstream:  N/A                |  Work issues:
         Branch:                     |       Commit:
  u/pbruin/12947-maxima_integral     |  3d9a07cd45fd002020a1f67cb2394af5a38d76a0
   Dependencies:                     |     Stopgaps:
-------------------------------------+-------------------------------------

Comment (by pbruin):

 The complex bit apparently comes from applying Pynac's `evalf()` to the
 following expression:
 {{{
 sage: e = integrate(x*cos(x^3),(x,0,1/2)); e
 1/12*I*sqrt(3)*gamma(2/3, 1/8*I) - 1/12*I*sqrt(3)*gamma(2/3, -1/8*I) -
 1/12*gamma(2/3, 1/8*I) - 1/12*gamma(2/3, -1/8*I) + 1/6*gamma(2/3)
 sage: e.n(53)
 0.124756040961038 + 2.77555756156289e-17*I
 sage: e._convert({'parent': CC})  # called by .n()
 0.124756040961038 + 2.77555756156289e-17*I
 }}}
 (This is on ARM; the imaginary part does not appear on x86_64.)

 There are known precision problems in the incomplete Gamma function, so
 this may be related to #7099, although we only want the default 53 bits of
 precision here.

--
Ticket URL: <http://trac.sagemath.org/ticket/12947#comment:17>
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.
For more options, visit https://groups.google.com/d/optout.

Reply via email to