FriCAS integration routines know dilog and in general seem to be able to
handle them. Howewer, we have
(1) -> ex := integrate(polylog(3, x), x)
(1)
log(- x + 1)
- x %iint(x,- ------------) + x polylog(3,x) + (- x + 1)log(- x + 1) + x
x
Type:
Union(Expression(Integer),...)
(2) -> D(ex,x) - polylog(3, x)
log(- x + 1)
(2) - %iint(x,- ------------) + dilog(- x + 1)
x
Type:
Expression(Integer)
So, for some reason, the integrator returns an unevaluated integral as
%iint, and moreover doesn't recognize that this integral is in fact
dilog(1-x).
Martin
--
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 view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/d3a57c53-2227-4c28-bf0d-655f92ebe622%40googlegroups.com.
