From 6896410ee29bde89bf25c5f126a76a755a810e94 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
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/supxs.spad.pamphlet | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

(limited to 'src/algebra/supxs.spad.pamphlet')

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
-- 
cgit v1.2.3