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/supxs.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/supxs.spad.pamphlet')
| -rw-r--r-- | src/algebra/supxs.spad.pamphlet | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/algebra/supxs.spad.pamphlet b/src/algebra/supxs.spad.pamphlet index a8591584..a911aa38 100644 --- a/src/algebra/supxs.spad.pamphlet +++ b/src/algebra/supxs.spad.pamphlet @@ -14,7 +14,7 @@ )abbrev domain SUPXS SparseUnivariatePuiseuxSeries ++ Author: Clifton J. Williamson ++ Date Created: 11 November 1994 -++ Date Last Updated: 28 February 1995 +++ Date Last Updated: June 18, 2010 ++ Basic Operations: ++ Related Domains: InnerSparseUnivariatePowerSeries, ++ SparseUnivariateTaylorSeries, SparseUnivariateLaurentSeries @@ -43,10 +43,8 @@ SparseUnivariatePuiseuxSeries(Coef,var,cen): Exports == Implementation where SUPS ==> InnerSparseUnivariatePowerSeries(Coef) Exports ==> Join(UnivariatePuiseuxSeriesConstructorCategory(Coef,SULS),_ + PartialDifferentialDomain(%,Variable var),_ RetractableTo SUTS,CoercibleFrom Variable var) with - differentiate: (%,Variable(var)) -> % - ++ \spad{differentiate(f(x),x)} returns the derivative of - ++ \spad{f(x)} with respect to \spad{x}. if Coef has Algebra Fraction Integer then integrate: (%,Variable(var)) -> % ++ \spad{integrate(f(x))} returns an anti-derivative of the power |