aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/suts.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2010-06-18 13:45:47 +0000
committerdos-reis <gdr@axiomatics.org>2010-06-18 13:45:47 +0000
commit6896410ee29bde89bf25c5f126a76a755a810e94 (patch)
treefca597d080e0eaa3ed4775eaaf90033dce3692f5 /src/algebra/suts.spad.pamphlet
parentbd813c8607938e8ff0d8f112987300e22e3dc712 (diff)
downloadopen-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/suts.spad.pamphlet')
-rw-r--r--src/algebra/suts.spad.pamphlet8
1 files changed, 3 insertions, 5 deletions
diff --git a/src/algebra/suts.spad.pamphlet b/src/algebra/suts.spad.pamphlet
index 8e5f4106..ecd46bad 100644
--- a/src/algebra/suts.spad.pamphlet
+++ b/src/algebra/suts.spad.pamphlet
@@ -14,7 +14,7 @@
)abbrev domain SUTS SparseUnivariateTaylorSeries
++ Author: Clifton J. Williamson
++ Date Created: 16 February 1990
-++ Date Last Updated: 10 March 1995
+++ Date Last Updated: June 18, 2010
++ Basic Operations:
++ Related Domains: InnerSparseUnivariatePowerSeries,
++ SparseUnivariateLaurentSeries, SparseUnivariatePuiseuxSeries
@@ -47,7 +47,8 @@ SparseUnivariateTaylorSeries(Coef,var,cen): Exports == Implementation where
ST ==> Stream Term
UP ==> UnivariatePolynomial(var,Coef)
- Exports ==> UnivariateTaylorSeriesCategory(Coef) with
+ Exports ==> Join(UnivariateTaylorSeriesCategory(Coef),_
+ PartialDifferentialDomain(%,Variable var)) with
coerce: UP -> %
++\spad{coerce(p)} converts a univariate polynomial p in the variable
++\spad{var} to a univariate Taylor series in \spad{var}.
@@ -57,9 +58,6 @@ SparseUnivariateTaylorSeries(Coef,var,cen): Exports == Implementation where
coerce: Variable(var) -> %
++\spad{coerce(var)} converts the series variable \spad{var} into a
++ Taylor series.
- differentiate: (%,Variable(var)) -> %
- ++ \spad{differentiate(f(x),x)} computes 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),x)} returns an anti-derivative of the power