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/padic.spad.pamphlet | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

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

diff --git a/src/algebra/padic.spad.pamphlet b/src/algebra/padic.spad.pamphlet
index d7265998..260bb580 100644
--- a/src/algebra/padic.spad.pamphlet
+++ b/src/algebra/padic.spad.pamphlet
@@ -289,7 +289,7 @@ InnerPAdicInteger(p,unBalanced?): Exports == Implementation where
     showAll?() == true
 
     coerce(x:%):OUT ==
-      empty?(st := stream x) => 0 :: OUT
+      empty?(st := stream x) => 0@I :: OUT
       count : NNI := _$streamCount$Lisp
       l : L OUT := empty()
       n : NNI := 0
@@ -309,8 +309,8 @@ InnerPAdicInteger(p,unBalanced?): Exports == Implementation where
         explicitlyEmpty? st => l
         eq?(st,rst st) and frst st = 0 => l
         concat(prefix("O" :: OUT,[PEXPR ** (n :: OUT)]),l)
-      empty? l => 0 :: OUT
-      reduce("+",reverse! l)
+      empty? l => 0@I :: OUT
+      reduce(_+,reverse! l)
 
 @
 \section{domain PADIC PAdicInteger}
@@ -515,7 +515,7 @@ PAdicRationalConstructor(p,PADIC): Exports == Implementation where
       m := getExpon x; zp := getZp x
       uu := digits zp
       l : L OUT := empty()
-      empty? uu => 0 :: OUT
+      empty? uu => 0@I :: OUT
       count : NNI := _$streamCount$Lisp
       n : NNI := 0
       while n <= count and not empty? uu repeat
@@ -535,7 +535,7 @@ PAdicRationalConstructor(p,PADIC): Exports == Implementation where
         explicitlyEmpty? uu => l
         eq?(uu,rst uu) and frst uu = 0 => l
         concat(prefix("O" :: OUT,[PEXPR ** ((n :: I) + m) :: OUT]),l)
-      empty? l => 0 :: OUT
+      empty? l => 0@I :: OUT
       reduce("+",reverse! l)
 
 @
-- 
cgit v1.2.3