From 2092a554d70524bc90440d96367e32c9ede28ee8 Mon Sep 17 00:00:00 2001 From: dos-reis 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/intfact.spad.pamphlet | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/algebra/intfact.spad.pamphlet') diff --git a/src/algebra/intfact.spad.pamphlet b/src/algebra/intfact.spad.pamphlet index f405476f..f24922c5 100644 --- a/src/algebra/intfact.spad.pamphlet +++ b/src/algebra/intfact.spad.pamphlet @@ -324,7 +324,8 @@ IntegerRoots(I:IntegerNumberSystem): Exports == Implementation where s := shift(s, n) return ((1 + s + a quo s) quo two) -- initial approximation for the root is within a factor of 2 - (new, old) := (shift(1, n quo two), 1) + old: I := 1 + new: I := shift(1, n quo two) while new ~= old repeat (new, old) := ((1 + new + a quo new) quo two, new) new -- cgit v1.2.3