On 12/1/23 08:58, Waldek Hebisch wrote:
I have put almost all that I did into messages. As I wrote, I think we should implement a few easy cases: - degree 3 with one real root - a^4 + c with c of know sign - factorizable resolvent for degree 4 - maybe few other AFAICS a^4 + c is most important as it appears in many examples. I would limit this to cases when 'sign' gives us answer or when split between cases is simple and easy. I am not sure if you want to do them. I could do first two and third for rational coefficients. Or maybe you want more general code.
You should do them, and if possible, commit separately for different cases -- it's easier for me to testing against Nasser's list. - 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/33acb341-415a-42bf-8cca-250f6ce7fc35%40gmail.com.
