diff options
Diffstat (limited to 'src/algebra/mts.spad.pamphlet')
-rw-r--r-- | src/algebra/mts.spad.pamphlet | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/algebra/mts.spad.pamphlet b/src/algebra/mts.spad.pamphlet index 1d26d0a1..35399ac6 100644 --- a/src/algebra/mts.spad.pamphlet +++ b/src/algebra/mts.spad.pamphlet @@ -9,8 +9,13 @@ \eject \tableofcontents \eject + \section{domain SMTS SparseMultivariateTaylorSeries} + <<domain SMTS SparseMultivariateTaylorSeries>>= +import NonNegativeInteger +import List +import Stream )abbrev domain SMTS SparseMultivariateTaylorSeries ++ This domain provides multivariate Taylor series ++ Authors: William Burge, Stephen Watt, Clifton Williamson @@ -84,7 +89,8 @@ SparseMultivariateTaylorSeries(Coef,Var,SMP):_ ints := integers(0)$STT pretend ST NNI map(monomial(#2 :: SMP,v,#1)$SMP,ints,s pretend ST Coef)$ST3(NNI,Coef,SMP) - coefficient(s,n) == elt(s,n + 1)$Rep -- 1-based indexing for streams + coefficient(s:%,n: NNI) == + elt(s,n + 1)$Rep -- 1-based indexing for streams --% creation of series |