These 2 patches are on top of the "improvements for sturm.spad" thread.
==== https://github.com/oldk1332/fricas/commit/5eb8807d8e0491d7ef0d6fa9103777d03898e7d4.patch trival cleanups in sturm.spad ==== https://github.com/oldk1332/fricas/commit/c8625d9be33fc569f21de6c15ad087f8aa1bb6e0.patch add test file sturm.input modify the output of sres:=subresultantSequence(p1, p2): length of sres used to be degree(p1)+1, now it's degree(p2) sres used to be: [p1, p2, 0s of number degree(p1)-degree(p2)-2, an aux variable, normal subresultants] now the first degree(p1)-degree(p2)+1 elements are removed, the last degree(p2) elements remained. after this change, we have equality: subresultantSequence(p, q)=subResultantList(p, q) Only SturmHabichtSequence's polsth* use subresultantSequence, these functions only use the last degree(p2) elements, and they are changed accordingly. ==== There are some cleanups mixed in the second patch, hope that doesn't cause trouble. -- 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 post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
