https://github.com/oldk1332/fricas/commit/f8f2d04ca258c64b2f8e210b1dcf5484a1ae26ce.patch
add a reference, generalize over UPOLYCAT fix compiler warnings: 1. fix comments of subresultantSequenceBegin 2. fix unused variable q in polsth2 == https://github.com/oldk1332/fricas/commit/f8fe19313e55b22f5a8cf7450001b0c90ca13d4d.patch relax type requirement now allow UP of POLY INT to have subresultantSequence, and UP of POLY INT with leadingCoefficient of INT to have SturmHabichtSequence via function sign2. ====== I do the later commit because of the example from the reference: B : UP(x, POLY INT):= x^4 + p * x^2 + q*x + r SturmHabichtSequence (B, D B) gives message of type mismatch. Although POLY INT does not have OrderedIntegralDomain, but its leadingCoefficient can be retract to INT, which have sign. And SturmHabichtSequence of B and D B can be computed, just like in the reference. -- 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.
