I just tested a version using P.first.k and fmecg in SUP,
it is only maybe about 2% faster (2.48s vs. 2.53s on average)
that a generic one in PRS.
So I suggest pseudoDivide (and pseudoQuotient) should
go in UnivariatePolynomialCategory. If it's implemented
in a package, then there will be an extra signature, although
it can be unexposed, I still don't like it.
BTW, pseudoDivide in NSUP is buggy, newpoly.spad#L220:
(empty? xx) or (xx.first.k < e) => [co, 0, x]
it should be [1,0,x].
--
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.
