On Fri, Oct 20, 2023 at 02:21:21PM -0700, Mild Shock wrote:
> Possible to make FriCAS solve this integral?
>
> /* Version: FriCAS 1.3.7, WSL2 */
> /* ^(1/3) is supposed to be the real root */
>
> (2) -> integrate(cos(t)^(1/3)*(2+cos(t))/100, t)
>
> t 3+-------+
> ++ (cos(%A) + 2)\|cos(%A)
> (2) | ----------------------- d%A
> ++ 100
>
Well, FriCAS claims tha answer is not elementary. Currently
FriCAS can not find answer in terms of "usual" special
functions and I do not know if there such an answer.
Note that what is produced above can be treated as ad-hoc
special function, so there is answer, the question is
if this is more explicit or simpler answer.
It is not clear what you mean by "Make it work"? If you
know better answer you could use rewrite rule to change
FriCAS result to a different one, but this is very limited in
scope. Due to the way FriCAS integrator works there is no
way to provide hints.
If this integral is doable in terms of popular special functions,
there is good chance that it will be handled in the future.
But not in current version.
--
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/ZTMQPUYBO2wJ%2BsXh%40fricas.org.
