On Tue, Nov 21, 2023 at 06:31:27PM +0800, Qian Yun wrote:
> 
> How do you suggest to proceed?  Write a special case for biquadratic?

AFAICS we can quickly add case for x^4 + a, that when we can
determine sign of a.  Case for biquadratic is more complicated
but should be doable with moderate effort.  Both should be
rather efficient as they do not need more general factoring
nor complicated solve.

We could try to handle more cases with easy Galois group
by factoring resolvent (resultant of P and Q).  This is
more complicated, but still moderately hard.

I think that handling more general cases requires more
research and will take some time.  So it makes sense to
do easier cases first.

-- 
                              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/ZWELhP3fZsBukapX%40fricas.org.

Reply via email to