understanding output for indefinite integrals of rational functions

[Dima Pasechnik]

In some cases the output is presented as a sum of certain (involving log) 

functions over the roots of an irreducible polynomial, but such an output is rather hard to parse.

Is there a documentation on this?

(We'd like to get that kind of integrals available in Sagemath's fricas package).

[Waldek Hebisch]

Well, this is documented, see section 8.3 of FriCAS book. In
short: FriCAS represents roots by symbols and to get full info
you need to use functions like 'definingPolynomial'. Some time
ago Ralf gave nice example.

BTW: I plan to change this and emit rootSum objects. ATM this change
waits for time when other parts of FriCAS can handle root sums.
Generating root sums is easy, in fact easier than current code for
roots. And root sums are much more managable than roots, but we
need to write code handling them.

--
Waldek Hebisch

[Ralf Hemmecke]

Maybe Waldek means that:

http://fricas-wiki.math.uni.wroc.pl/ExampleIntegration

Ralf