aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/padic.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2011-10-25 03:47:29 +0000
committerdos-reis <gdr@axiomatics.org>2011-10-25 03:47:29 +0000
commit2092a554d70524bc90440d96367e32c9ede28ee8 (patch)
treef60d455b9d03bfe6454bb2ae33b82114aeb3f91b /src/algebra/padic.spad.pamphlet
parent99aeb02edd1614d30e308a9267325f138617d58f (diff)
downloadopen-axiom-2092a554d70524bc90440d96367e32c9ede28ee8.tar.gz
* 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.
Diffstat (limited to 'src/algebra/padic.spad.pamphlet')
-rw-r--r--src/algebra/padic.spad.pamphlet10
1 files changed, 5 insertions, 5 deletions
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)
@