On 19 July 2014 13:53, Waldek Hebisch <[email protected]> wrote:
>
> Bill Page wrote:
> >
> > On 18 July 2014 12:39, Waldek Hebisch <[email protected]> wrote:
> > > ...
> > > However, I am affraid that this would lead to several
> > > wrong definite integrals. To handle definite integrals
> > > correctly we would probably need stronger continuity test
> > > and extra code to choose antidervative which avoids
> > > branch cuts.
> > >
> >
> > Now I think I understand your point about branch cuts.
> >
> > The problem seems to occur very early than definite integrals. For
> > example one might want
> >
> > abs(x) = sqrt(x^2)
> >
> > Numerically this is the case
>
> Well, our main integrator works for complex functions. The
> relation above is not valid in such case.
>
In this case
(2) -> integrate(sqrt(x^2),x)
2
x
(2) --
2
Type: Union(Expression(Integer),...)
I would have expected
x*sqrt(x^2)/2
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" 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/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
