oldk1331 wrote: > > https://github.com/oldk1331/fricas/commit/7df3b38c866a2215609f72e7f440535e0ef8e195.patch > > doc and typo fix in prs.spad
Hmm, three dots are probably clearer than question mark. And documentation for degreeSubResultantEuclidean and semiDegreeSubResultantEuclidean still looks wrong (mentions different function). > > https://github.com/oldk1331/fricas/commit/b29991c13548627a55f21c2439fa52bb561dce00.patch > > remove dead code > > > remove *_naif > These functions require R has Field, because they > calls 'divide'. > But these functions are only called when R has Finite, > which means they'll never be called. IIUC they are used in case of finite fields. > This may be original author's intention: > these *_naif functions are *naive*, thus inefficient, > they are used to help developing the new algorithm. Naive versions are probably faster for finite fields. > > > https://github.com/oldk1331/fricas/commit/88ac8645b682867b030c1cb0de877029370b055d.patch > > don't export * and exquo, remove pseudoDivide > > * and exquo are only used locally for vector > pseudoDivide is provided directly in polR IIUC SUP uses pseudoDivide from polycat.spad. The one in prs.spad looks more efficient. > divide is still used by next_sousResultant3, > I'll remove it later > > > https://github.com/oldk1331/fricas/commit/446410768b71f681ad98baf0839b44a7e205d31f.patch > > rename Lazard to LazardQuotient > > newpoly.spad now uses the version provided by PRS This one produces some weird error for me. -- 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 [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.
