From 95a8891a808572509f7449aa32022df42f8b7ab8 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Mon, 26 Apr 2010 02:05:39 +0000 Subject: * algebra/carten.spad.pamphlet (CartesianTensor): Satisfy instantiation of Eltable. * algebra/clifford.spad.pamphlet (QuadraticForm): Likewise. * algebra/domain.spad.pamphlet (DomainTemplate): Likewise. * algebra/files.spad.pamphlet (Library): Likewise. * algebra/aggcat.spad.pamphlet (LinearAggregate): Extend instantiation of Eltable. * algebra/naalg.spad.pamphlet (FiniteRankNonAssociativeAlgebra): Likewise. * algebra/pscat.spad.pamphlet (UnivariatePowerSeriesCategory): Likewise. * algebra/sex.spad.pamphlet (SExpressionCategory): Likewise. * algebra/Makefile.pamphlet: Update rules. --- src/algebra/pscat.spad.pamphlet | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) (limited to 'src/algebra/pscat.spad.pamphlet') diff --git a/src/algebra/pscat.spad.pamphlet b/src/algebra/pscat.spad.pamphlet index 86eecd2f..37f63dd1 100644 --- a/src/algebra/pscat.spad.pamphlet +++ b/src/algebra/pscat.spad.pamphlet @@ -96,7 +96,8 @@ UnivariatePowerSeriesCategory(Coef,Expon): Category == Definition where Expon : OrderedAbelianMonoid Term ==> Record(k:Expon,c:Coef) - Definition ==> PowerSeriesCategory(Coef,Expon,SingletonAsOrderedSet) with + Definition ==> Join(PowerSeriesCategory(Coef,Expon,SingletonAsOrderedSet),_ + Eltable(Expon,Coef)) with terms: % -> Stream Term ++ \spad{terms(f(x))} returns a stream of non-zero terms, where a @@ -106,9 +107,6 @@ UnivariatePowerSeriesCategory(Coef,Expon): Category == Definition where --++ \spad{series(st)} creates a series from a stream of non-zero terms, --++ where a term is an exponent-coefficient pair. The terms in the --++ stream should be ordered by increasing order of exponents. - elt: (%,Expon) -> Coef - ++ \spad{elt(f(x),r)} returns the coefficient of the term of degree r in - ++ \spad{f(x)}. This is the same as the function \spadfun{coefficient}. variable: % -> Symbol ++ \spad{variable(f)} returns the (unique) power series variable of ++ the power series f. -- cgit v1.2.3