https://github.com/oldk1332/fricas/commit/70d67d2f4f57bc9e6cc10c0ee6a4a86aa258c157.patch
use Matrix by default. We don't need to generalize over MatrixCategory, just like we use List directly instead of generalize over ListAggregate. https://github.com/oldk1332/fricas/commit/70d67d2f4f57bc9e6cc10c0ee6a4a86aa258c157.patch Add subSylvesterMatrix and subResultant in bezout.spad I give a reference in the commit. I write this because I want to unify current subresultants (PRS) implements, and I write this to be the standard one. Because this implementation is based on definition, so the performance is not good, but it's simple and correct. -- 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.
