From 2092a554d70524bc90440d96367e32c9ede28ee8 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Tue, 25 Oct 2011 03:47:29 +0000
Subject: 	* algebra/perman.spad.pamphlet (Permanent): Specify type of
 local 	variable j. 	* algebra/patmatch1.spad.pamphlet (PatternMatchTools):
 Tidy. 	* algebra/padic.spad.pamphlet: Restrict type of literal constants. 
 * algebra/sttf.spad.pamphlet: Likewise. 	*
 algebra/puiseux.spad.pamphlet: Likewise. 	* algebra/odealg.spad.pamphlet
 (SystemODESolver) [applyLodo0]: 	Specify type of local variable ans. 
 * algebra/numtheor.spad.pamphlet (IntegerNumberTheoryFunctions): Tidy. 
 * algebra/naalgc.spad.pamphlet (MonadWithUnit) [rightPower]: 	Specify type
 of local variable res. 	[leftPower]: Likewise. 	*
 algebra/lodop.spad.pamphlet (NonCommutativeOperatorDivision) 	[leftLcm]:
 Specify type of local variable v. 	* algebra/intfact.spad.pamphlet
 (IntegerRoots) [approxSqrt]: 	Specify type of local variables old and new. 
 * algebra/elfuts.spad.pamphlet 
 (EllipticFunctionsUnivariateTaylorSeries):  Restrict types of 	literal
 constants. 	* algebra/ffnb.spad.pamphlet 
 (FiniteFieldNormalBasisExtensionByPolynomial): Likewise. 	*
 algebra/fnla.spad.pamphlet (FreeNilpotentLie): Likewise. 	*
 algebra/intaux.spad.pamphlet (IntegrationResult): Likewise. 	*
 algebra/defintef.spad.pamphlet 
 (ElementaryFunctionDefiniteIntegration) [checkSMP]:  Specify type 	in the
 	definition of local variable n. 	*
 algebra/combinat.spad.pamphlet (IntegerCombinatoricFunctions): 	Tidy
 definition of local variables. 	* algebra/clifford.spad.pamphlet
 (CliffordAlgebra): Specify type in 	the definition of local variables k,
 exchanges, bz. 	* algebra/catdef.spad.pamphlet (CartesianTensor):
 Specify type in the 	definition of local varibles rx and offz. 	Remove
 useless variables zol, xol, oly, and zoly.

---
 src/algebra/puiseux.spad.pamphlet | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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

diff --git a/src/algebra/puiseux.spad.pamphlet b/src/algebra/puiseux.spad.pamphlet
index b465790c..0abb2891 100644
--- a/src/algebra/puiseux.spad.pamphlet
+++ b/src/algebra/puiseux.spad.pamphlet
@@ -532,7 +532,7 @@ UnivariatePuiseuxSeries(Coef,var,cen): Exports == Implementation where
     termsToOutputForm:(RN,RN,ST,OUT) -> OUT
     termsToOutputForm(m,rat,uu,xxx) ==
       l : L OUT := empty()
-      empty? uu => 0 :: OUT
+      empty? uu => 0@Coef :: OUT
       count : NNI := _$streamCount$Lisp
       n : NNI := 0
       while n <= count and not empty? uu repeat
@@ -552,7 +552,7 @@ UnivariatePuiseuxSeries(Coef,var,cen): Exports == Implementation where
         explicitlyEmpty? uu => l
         eq?(uu,rst uu) and frst uu = 0 => l
         concat(prefix("O" :: OUT,[xxx ** (((n::I) * rat + m) :: OUT)]),l)
-      empty? l => 0 :: OUT
+      empty? l => 0@Coef :: OUT
       reduce("+",reverse! l)
 
     coerce(upxs:%):OUT ==
-- 
cgit v1.2.3