Dima Pasechnik wrote:
>
> 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).
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
--
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/E1ieiMf-0003UV-40%40hera.math.uni.wroc.pl.
