From 6896410ee29bde89bf25c5f126a76a755a810e94 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Fri, 18 Jun 2010 13:45:47 +0000 Subject: * 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. --- src/algebra/suts.spad.pamphlet | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) (limited to 'src/algebra/suts.spad.pamphlet') 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 -- cgit v1.2.3