> > (%i3) domain:complex;
> >
> > (%o3) complex
> > (%i4) integrate(x*cos(x^3),x,0,1/2);
> >
> > (%o4)
> > gamma_incomplete(2/3,%i/8)/6+gamma_incomplete(2/3,-%i/8)/6-gamma(2/3)/3
>
> Hmm. I get a different result. I am using the current Git version.
>
>
Great, I didn't realize some code had changed - I get this same thing below
in 5.27.0.
> domain : complex;
> integrate (x*cos(x^3), x, 0, 1/2);
> =>
> %i*gamma_incomplete(2/3,%i/8)/(4*sqrt(3))
> -gamma_incomplete(2/3,%i/8)/12-%i*gamma_incomplete(2/3,-%i/8)/(4*sqrt(3))
> -gamma_incomplete(2/3,-%i/8)/12+gamma(2/3)/6
> expand (float (%));
> => .1247560409610377
>
> That's gratifying, but the problem, as I'm sure you know, is that the
> user won't know they have to change a global variable.
>
>
If all integrals still work with domain:complex, we could conceivably set
this in the integration code. However, we *already* set `domain:complex`
in the startup code for the "calculus" copy of Maxima for exactly this
reason... so I guess that this would be fixed by upgrading Maxima?
> > I don't see any of those up here, though, and the gamma_incomplete
> > evaluation is correct (gives the same via W|A, Sage = Pari in my
> version,
> > mpmath, and Maxima). I think that Maxima is somehow using the "real"
> > antiderivative, if that makes sense - is that possible, Robert?
>
--
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/sage-support
URL: http://www.sagemath.org
