On 11/20/23 10:08, Waldek Hebisch wrote:
There is question in which cases your apprach works. Examples
in mapleok.input which work have minimal polynomial for residues
which is variation of x^4 + a^4 where a is a rational constant
or x^4 + 2*x^2 + 2 or x^4 + x^2/64 + 1/8192. x^4 + a^4 factors
in extention by square root of 2:
In theory this approach should work with higher degree of polynomial.
After all as you said, it is about finding a algebraic extension to
factor the polynomial into simpler ones.
Let's see if I can find out such an example.
Groebner produces sensible thing:
(50) -> groebner([PP::POLY(INT), QQ::POLY(INT), 8*u^3 - 6*u + 1])
2 2 3
(50) [v + u - 1, 8 u - 6 u + 1]
and solution of this could be passed to Rioboo. But TransSolvePackage
can not usefully handle it.
How can this go further? Return rootSum in Rioboo?
- Qian
--
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/e7f7d392-93a0-4a2a-99d6-b7684f252411%40gmail.com.
