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.