aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/suls.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/suls.spad.pamphlet')
-rw-r--r--src/algebra/suls.spad.pamphlet8
1 files changed, 3 insertions, 5 deletions
diff --git a/src/algebra/suls.spad.pamphlet b/src/algebra/suls.spad.pamphlet
index 2b1db3b9..efd567aa 100644
--- a/src/algebra/suls.spad.pamphlet
+++ b/src/algebra/suls.spad.pamphlet
@@ -14,7 +14,7 @@
)abbrev domain SULS SparseUnivariateLaurentSeries
++ Author: Clifton J. Williamson
++ Date Created: 11 November 1994
-++ Date Last Updated: 10 March 1995
+++ Date Last Updated: June 18, 2010
++ Basic Operations:
++ Related Domains: InnerSparseUnivariatePowerSeries,
++ SparseUnivariateTaylorSeries, SparseUnivariatePuiseuxSeries
@@ -44,13 +44,11 @@ SparseUnivariateLaurentSeries(Coef,var,cen): Exports == Implementation where
SUTS ==> SparseUnivariateTaylorSeries(Coef,var,cen)
EFULS ==> ElementaryFunctionsUnivariateLaurentSeries(Coef,SUTS,%)
- Exports ==> UnivariateLaurentSeriesConstructorCategory(Coef,SUTS) with
+ Exports ==> Join(UnivariateLaurentSeriesConstructorCategory(Coef,SUTS),_
+ PartialDifferentialDomain(%,Variable var)) with
coerce: Variable(var) -> %
++ \spad{coerce(var)} converts the series variable \spad{var} into a
++ Laurent series.
- 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