oldk1331 wrote:
>
> partialFraction from Domain PartialFraction(R) is:
> (R, Factored R) -> %
>
> It's not easy to use, so in PartialFractionPackage(R),
> there are wrappers:
>
> partialFraction : (Fraction Polynomial R, Symbol) -> Any
>
> It deals with POLY, not UPOLYC; and because of that,
> it can't determinate return type and has to return Any.
>
> partialFraction should deal with univariate polynomials,
> and for multivariate polynomials, cast it into univariate first.
Actually, IMO the most inconvenient part of interface is need
to create univariate polynomial domain -- PartialFractionPackage
hides this. Concerning type: instead of UP the package
could use SUP (most similar interfaces do so). This would
made return type independent from v. Also, the interface
to access parts of decomposition is strange: documentation
says nothing about order of terms in the reuslt, so to
get term with specific denominator one has to search for
apropriate term.
BTW: There is also PartialFractionUtilities package in 'intden.spad'.
ATM it is not general purpose: it exports what is needed by integrator.
BTW2: There is also definition of partial fraction decomposition
in multivariate case. Unlike univariate case it is somewhat
arbitrary (depends on variable order), but could be useful
sometimes.
--
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.
