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/zerodim.spad.pamphlet | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

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

diff --git a/src/algebra/zerodim.spad.pamphlet b/src/algebra/zerodim.spad.pamphlet
index 1d9fae67..21ee0bcc 100644
--- a/src/algebra/zerodim.spad.pamphlet
+++ b/src/algebra/zerodim.spad.pamphlet
@@ -314,7 +314,7 @@ LexTriangularPackage(R,ls): Exports == Implementation where
            newlp := lp 
            while (not empty? newlp) and (mvar(first newlp) = v) repeat
              newlp := rest newlp
-           for us in lus repeat
+           for us: local in lus repeat
              toSee := cons([newlp, us]$LpWTS, toSee)
        algebraicSort(toSave)$quasicomppackTS
 
@@ -357,7 +357,7 @@ LexTriangularPackage(R,ls): Exports == Implementation where
            newlp := lp 
            while (not empty? newlp) and (mvar(first newlp) = v) repeat
              newlp := rest newlp
-           for us in lus repeat
+           for us: local in lus repeat
              toSee := cons([newlp, us]$LpWST, toSee)
        algebraicSort(toSave)$quasicomppackST
 
@@ -563,7 +563,7 @@ InternalRationalUnivariateRepresentationPackage(R,E,V,P,TS): Exports == Implemen
            wip := [lp,ts]
            toSee := cons(wip,toSee)
          lts := makeLinearAndMonic(p,xi,ts,univ?,false,false)
-         for ts in lts repeat
+         for ts: local in lts repeat
            wip := [lp,ts]
            toSee := cons(wip,toSee)
        toSave
@@ -687,7 +687,7 @@ RationalUnivariateRepresentationPackage(R,ls): Exports == Implementation where
            newlq := [remainder(q,newts).polnum for q in lq]
            toSee := cons([newlq,newts]$LQWT,toSee)
        toReturn: List RUR := []
-       for ts in toSave repeat
+       for ts: local in toSave repeat
          lus := rur(ts,univ?)$rurpack 
          check? and (not checkRur(ts,lus)$rurpack) =>
            output("RUR for: ")$OutputPackage
-- 
cgit v1.2.3