> As I wrote in other mail I would like to generate 'rootSum'
> instead of expanding roots. In principle after such change
> definite integrator would work with 'rootSum' directly
> skiping Rioboo, tantrick, etc.
I don't understand. Why should integrate(1/(x^8-1),x) and
integrate(8*sqrt(2)/(x^8-1),x) be so different?
If you want to get 'rootSum', you probably will get complex
result.
On the other hand, in "x^4 + r", if we know that "r" is a quartic,
then no more extra roots will be introduced, I think.
Just compare current result and following reuslt.
(1) -> integrate(a/(x^8-1),x)
(1)
+-+ 2 +-+ +-+
- a log(x\|2 + x + 1) - a\|2 log(x + 1) + a\|2 log(x - 1)
+
+-+ 2 +-+ +-+
a log(- x\|2 + x + 1) - 2a atan(x\|2 + 1) - 2a atan(x\|2 - 1)
+
+-+
- 2a\|2 atan(x)
/
+-+
8\|2
--
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 fricas-devel+unsubscr...@googlegroups.com.
To post to this group, send email to fricas-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
