diff options
author | dos-reis <gdr@axiomatics.org> | 2010-06-18 13:45:47 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-06-18 13:45:47 +0000 |
commit | 6896410ee29bde89bf25c5f126a76a755a810e94 (patch) | |
tree | fca597d080e0eaa3ed4775eaaf90033dce3692f5 /src/algebra/fparfrac.spad.pamphlet | |
parent | bd813c8607938e8ff0d8f112987300e22e3dc712 (diff) | |
download | open-axiom-6896410ee29bde89bf25c5f126a76a755a810e94.tar.gz |
* algebra/fparfrac.spad.pamphlet (FullPartialFractionExpansion):
Now satisfies DifferentialSpace.
* algebra/gseries.spad.pamphlet (GeneralUnivariatePowerSeries):
Now satisfies an instance of PartialDifferentialDomain.
* algebra/laurent.spad.pamphlet (UnivariateLaurentSeries): Likewise.
* algebra/puiseux.spad.pamphlet (UnivariatePuiseuxSeries): Likewise.
* algebra/suls.spad.pamphlet (SparseUnivariateLaurentSeries): Likewise.
* algebra/supxs.spad.pamphlet (SparseUnivariatePuiseuxSeries):
Likewise.
* algebra/suts.spad.pamphlet (SparseUnivariateTaylorSeries): Likewise.
* algebra/taylor.spad.pamphlet (UnivariateTaylorSeries): Likewise.
Diffstat (limited to 'src/algebra/fparfrac.spad.pamphlet')
-rw-r--r-- | src/algebra/fparfrac.spad.pamphlet | 12 |
1 files changed, 2 insertions, 10 deletions
diff --git a/src/algebra/fparfrac.spad.pamphlet b/src/algebra/fparfrac.spad.pamphlet index ed7bce9d..b769ba05 100644 --- a/src/algebra/fparfrac.spad.pamphlet +++ b/src/algebra/fparfrac.spad.pamphlet @@ -15,7 +15,7 @@ ++ Full partial fraction expansion of rational functions ++ Author: Manuel Bronstein ++ Date Created: 9 December 1992 -++ Date Last Updated: 6 October 1993 +++ Date Last Updated: June 18, 2010 ++ References: M.Bronstein & B.Salvy, ++ Full Partial Fraction Decomposition of Rational Functions, ++ in Proceedings of ISSAC'93, Kiev, ACM Press. @@ -34,7 +34,7 @@ FullPartialFractionExpansion(F, UP): Exports == Implementation where ODF ==> Fraction ODP FPF ==> Record(polyPart: UP, fracPart: List REC) - Exports ==> Join(SetCategory, ConvertibleTo RF) with + Exports ==> Join(SetCategory, DifferentialSpace, ConvertibleTo RF) with +: (UP, $) -> $ ++ p + x returns the sum of p and x fullPartialFraction: RF -> $ @@ -46,14 +46,6 @@ FullPartialFractionExpansion(F, UP): Exports == Implementation where ++ fracPart(f) returns the list of summands of the fractional part of f. construct: List REC -> $ ++ construct(l) is the inverse of fracPart. - differentiate: $ -> $ - ++ differentiate(f) returns the derivative of f. - D: $ -> $ - ++ D(f) returns the derivative of f. - differentiate: ($, N) -> $ - ++ differentiate(f, n) returns the n-th derivative of f. - D: ($, NonNegativeInteger) -> $ - ++ D(f, n) returns the n-th derivative of f. Implementation ==> add Rep := FPF |