On 15 August 2016 at 19:54, Waldek Hebisch <[email protected]> wrote:
> Bill Page wrote:
>>
>> Still, if the limits on the lower and upper boundaries are from right
>> and left, respectively, then I do not know why the definite integral
>> fails. Doesn't FriCAS also try indefinite integration and then try to
>> apply these limits?
>
> The whole limit at 0 fails:
>
> (1) -> ss := integrate(x*sin(1/x), x)
>
>          2    1          1       1
>         x sin(-) + x cos(-) + Si(-)
>               x          x       x
>    (1)  ---------------------------
>                      2
>                                          Type: Union(Expression(Integer),...)
> (2) -> limit(ss, x=0, "right")
>
>    (2)  "failed"
>                                                     Type: Union("failed",...)
>

Oh, that's odd since

(3) -> reduce(+,[limit(s,x=0,"left") for s in isPlus(numerator
ss)])/denominator(ss)

          %pi
   (3)  - ---
           4
                                                    Type: Expression(Integer)

-- 
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 https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to