>
> 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
The problem here is that to have partial fraction decomposition UP
must be an EuclideanDomain. This happens if F is a Field, but
not if F is general EuclideanDomain.
--
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.
