On 7/14/19 9:26 PM, Waldek Hebisch wrote:
> Real bug above is that we can not expand terms separately.
> Concerning "pairsum": it should go away.  I with attached
> patch I get:
>
> (1) -> integrate(a^(1/4)/(x^8-1),x)
>
>    (1)
>                                4+-+
>            --+                x\|a  - 8 %E
>            >           %E log(------------)
>            --+                    4+-+
>             4                     \|a
>      4096 %E  - a = 0
>    +
>                                4+-+
>            --+                x\|a  - 8 %F
>            >           %F log(------------)
>            --+                    4+-+
>             4                     \|a
>      4096 %F  + a = 0
>                                          Type:
Union(Expression(Integer),...)
>
> Unfortunatly, this causes troubles for definite integrator.
> Basically, we need to teach 'limit' how to handle 'rootSum'.
>

Shouldn't we try to simplify 'rootSum' with coefficients like
"%E^4 +- a = 0"?

-- 
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].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/fricas-devel/CAGBJN90BM0-ucsS-NAhPNSZEzNRHycfTK5MLyqsmbiiknrO97Q%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to