From 7dff09b8cac803d6936887fdfa286a2a25073ac2 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sun, 14 Aug 2011 21:23:34 +0000
Subject: 	* interp/lisp-backend.boot ($freeVarName): New global
 constant. 	(loopVarInit): New. 	(expandIN): Use it. 	(expandON):
 Likewise. 	(expandSTEP): Likewise. 	(massageFreeVarInits): New. 
 (expandLoop): Use it. 	* interp/fnewmeta.lisp (PARSE-QuantifiedVariable):
 Tidy. 	(PARSE-AnyId): Likewise. 	(PARSE-Variable):  New.  Allow
 scope-of-type specification for 	loop variable. 	(PARSE-Iterator): Use
 it. 	* interp/compiler.boot (massage_llop): Don't check 
 $mayHaveFreeIteratorVariables. 	(compRepeatOrCollect): Don't bind it. 
 (classifyIteratorVariable): New. 	(complainIfShadowing): Remove as no
 longer needed. 	(compStepIterator): Use it.  Tidy. 
 (compONIterator, compINIterator): New. Split out of compIterator. 
 (compIterator): Refactor. 	* interp/functor.boot (optFunctorBody): Fix
 thinko. 	* interp/g-opt.boot (optCollectVector): A STEP iterator may
 have a 	storage class.

	* algebra/clip.spad.pamphlet: Fix loop variable scope.
	* algebra/ffpoly.spad.pamphlet: Likewise.
	* algebra/fparfrac.spad.pamphlet: Likewise.
	* algebra/gdpoly.spad.pamphlet: Likewise.
	* algebra/ghensel.spad.pamphlet: Likewise.
	* algebra/groebsol.spad.pamphlet: Likewise.
	* algebra/intfact.spad.pamphlet: Likewise.
	* algebra/matfuns.spad.pamphlet: Likewise.
	* algebra/moddfact.spad.pamphlet: Likewise.
	* algebra/numtheor.spad.pamphlet: Likewise.
	* algebra/permgrps.spad.pamphlet: Likewise.
	* algebra/pfbr.spad.pamphlet: Likewise.
	* algebra/pgcd.spad.pamphlet: Likewise.
	* algebra/pleqn.spad.pamphlet: Likewise.
	* algebra/pseudolin.spad.pamphlet: Likewise.
	* algebra/radeigen.spad.pamphlet: Likewise.
	* algebra/radix.spad.pamphlet: Likewise.
	* algebra/regset.spad.pamphlet: Likewise.
	* algebra/rep2.spad.pamphlet: Likewise.
	* algebra/sgcf.spad.pamphlet: Likewise.
	* algebra/smith.spad.pamphlet: Likewise.
	* algebra/sregset.spad.pamphlet: Likewise.
	* algebra/syssolp.spad.pamphlet: Likewise.
	* algebra/zerodim.spad.pamphlet: Likewise.
	* algebra/crfp.spad.pamphlet: Remove capsule-level declaration of
	local variables.
	* algebra/galfact.spad.pamphlet: Likewise.
	* algebra/mathml.spad.pamphlet: Likewise.
	* algebra/numode.spad.pamphlet: Likewise.
	* algebra/tex.spad.pamphlet: Likewise.
	* algebra/updecomp.spad.pamphlet: Likewise.
---
 src/algebra/intfact.spad.pamphlet | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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

diff --git a/src/algebra/intfact.spad.pamphlet b/src/algebra/intfact.spad.pamphlet
index 4c4be09d..f405476f 100644
--- a/src/algebra/intfact.spad.pamphlet
+++ b/src/algebra/intfact.spad.pamphlet
@@ -152,7 +152,7 @@ IntegerPrimesPackage(I:IntegerNumberSystem): with
       nm1 := n-1
       q := (nm1) quo two
       k : NonNegativeInteger
-      for k in 1.. while not odd? q repeat q := q quo two
+      for k: free in 1.. while not odd? q repeat q := q quo two
       -- q = (n-1) quo 2**k for largest possible k
 
       n < JaeschkeLimit =>
@@ -458,7 +458,7 @@ IntegerFactorizationPackage(I): Exports == Implementation where
              if n>1 then ls := concat!(ls, ["prime",n,1]$FFE)
              return makeFR(1, ls)
           m : Integer
-          for m in 0.. while zero?(n rem d) repeat n := n quo d
+          for m: free in 0.. while zero?(n rem d) repeat n := n quo d
           if positive? m then ls := concat!(ls, ["prime",d,convert m]$FFE)
           d := d+s
 
@@ -497,7 +497,7 @@ IntegerFactorizationPackage(I): Exports == Implementation where
                 insert!(x-y,a,c)
           (d := PollardSmallFactor20 n) case I =>
              m' : NonNegativeInteger
-             for m' in 0.. while zero?(n rem d) repeat n := n quo d
+             for m': free in 0.. while zero?(n rem d) repeat n := n quo d
              insert!(d, a, m' * c)
              if n > 1 then insert!(n, a, c)
           -- an elliptic curve factorization attempt should be made here
-- 
cgit v1.2.3