On Tue, Nov 28, 2023 at 07:02:16PM +0800, Qian Yun wrote:
> I have examined integrals where rootSum is over degree 4, from a
> subset of Nasser's test.
>
> Other less common cases are:
>
> %A^8+1 integrate(log(1/x^4+x^4),x)
Here equation for real part of roots (obtained via resolvent) is of
degree 4 and we can solve it using real square roots:
(18) -> fl(2).factor
4 2
(18) 8 u - 8 u + 1
Type: Polynomial(Integer)
(19) -> radicalSolve(fl(2).factor)
(19)
+----------+ +----------+ +--------+ +--------+
| +-+ | +-+ | +-+ | +-+
\|- \|2 + 2 \|- \|2 + 2 \|\|2 + 2 \|\|2 + 2
[u = -------------, u = - -------------, u = -----------, u = - -----------]
2 2 2 2
Type: List(Equation(Expression(Integer)))
--
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 fricas-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/ZWX12v9IdLgjrtzl%40fricas.org.
