aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/pscat.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2010-06-13 19:01:38 +0000
committerdos-reis <gdr@axiomatics.org>2010-06-13 19:01:38 +0000
commit10112561c30ba05194b4d3b8cae34b610487e740 (patch)
tree529be672e50d4af6f4840725023d48bf2488c73d /src/algebra/pscat.spad.pamphlet
parent90a4fe6666a5db6d12e71e924c1486522a2ccdd1 (diff)
downloadopen-axiom-10112561c30ba05194b4d3b8cae34b610487e740.tar.gz
* algebra/laurent.spad.pamphlet
(UnivariateLaurentSeriesConstructor) [termsToOutputForm]: Tidy. * algebra/mts.spad.pamphlet (SparseMultivariateTaylorSeries) [coerce]: Likewise. * algebra/padic.spad.pamphlet (PAdicIntegerCategory) [coerce]: Likewise. * algebra/pscat.spad.pamphlet (UnivariateTaylorSeriesCategory)[coerce]: Likewise. * algebra/puiseux.spad.pamphlet (UnivariatePuiseuxSeries) [termsToOutputForm]: Likewise.
Diffstat (limited to 'src/algebra/pscat.spad.pamphlet')
-rw-r--r--src/algebra/pscat.spad.pamphlet10
1 files changed, 7 insertions, 3 deletions
diff --git a/src/algebra/pscat.spad.pamphlet b/src/algebra/pscat.spad.pamphlet
index 37f63dd1..c27f6e61 100644
--- a/src/algebra/pscat.spad.pamphlet
+++ b/src/algebra/pscat.spad.pamphlet
@@ -294,18 +294,22 @@ UnivariateTaylorSeriesCategory(Coef): Category == Definition where
vv :=
zero? cen => var :: OUT
paren(var :: OUT - cen :: OUT)
- n : NNI ; count : NNI := _$streamCount$Lisp
+ count : NNI := _$streamCount$Lisp
l : L OUT := empty()
- for n in 0..count while not empty? uu repeat
+ n : NNI := 0
+ while n <= count and not empty? uu repeat
if frst(uu) ~= 0 then
l := concat(termOutput(n :: I,frst uu,vv),l)
uu := rst uu
+ n := n + 1
if showAll?() then
- for n in (count + 1).. while explicitEntries? uu and _
+ n := count + 1
+ while explicitEntries? uu and _
not eq?(uu,rst uu) repeat
if frst(uu) ~= 0 then
l := concat(termOutput(n :: I,frst uu,vv),l)
uu := rst uu
+ n := n + 1
l :=
explicitlyEmpty? uu => l
eq?(uu,rst uu) and frst uu = 0 => l