oldk1331 wrote: > > 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.
Hmm, BezoutMatrix is not used by other algebra routines -- it is just for users. And users may wish to use different matrix domain. I am not sure is other matrix domains make sense here, but the normal policy is to allow that. > > https://github.com/oldk1332/fricas/commit/70d67d2f4f57bc9e6cc10c0ee6a4a86aa258c157.patch > AFAICS it is the same 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. > -- 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.
