Just like the documentation of PartialFraction said: "For a general euclidean domain, it is not known how to factor the denominator."
I think "partialFraction f == partialFraction(numer f, factor denom f)" is good enough for "UPOLYC(R:PFECAT)". Also the change for intden.spad should be OK: diff --git a/src/algebra/intden.spad b/src/algebra/intden.spad index 3d2c2b8..2d94089 100644 --- a/src/algebra/intden.spad +++ b/src/algebra/intden.spad @@ -1,6 +1,6 @@ )abbrev package PFUTIL PartialFractionUtilities PartialFractionUtilities(F, UP) : Exports == Implementation where - F : Field + F : EuclideanDomain UP : UnivariatePolynomialCategory F Exports ==> with -- 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.
