On Sat, Mar 4, 2017 at 8:32 AM, Waldek Hebisch <[email protected]> wrote: > I meant name. But the result's order is inconsistent too.
I have plans to fix them, so: 1. Name. Rename subresultantVector and subResultantList to subresultants. I don't think same same will cause trouble, because they are both not exposed by default, and users of this function already explicitly import SubResultantPackage. 2. Order. The traditional order of subresultants is ascending, starting from 0. I plan to make the return type of "subresultants" to be IndexedVector(0, UP). 3. Size. Traditionally, subresultants(p,q) has min(degree p, degree q) members, it doesn't include p or q. I plan to make the size of "subresultants" to be min(degree p, degree q), but then in monomialIntegrate1$INTTR, it has to be repalced by Subresultatns PRS, because of Theorem 2.5.1 of Symbolics Integration, clause (ii). Or we have to extend the definition of "subresultants" to include p or q. Opinions? -- 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.
