diff options
Diffstat (limited to 'src/algebra/sregset.spad.pamphlet')
-rw-r--r-- | src/algebra/sregset.spad.pamphlet | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/src/algebra/sregset.spad.pamphlet b/src/algebra/sregset.spad.pamphlet index c301db79..a476fd73 100644 --- a/src/algebra/sregset.spad.pamphlet +++ b/src/algebra/sregset.spad.pamphlet @@ -379,14 +379,14 @@ SquareFreeQuasiComponentPackage(R,E,V,P,TS): Exports == Implementation where (empty? leq) or (empty? lineq) => ([leq, ts, lineq]$Branch)::UBF if b4 then - for q in lineq repeat + for q: local in lineq repeat zero? initiallyReduce(q,ts) => return("failed"::Union(Branch,"failed")) if b5 then newleq: LP := [] for p in leq repeat - for q in lineq repeat + for q: local in lineq repeat if mvar(p) = mvar(q) then g := gcd(p,q) @@ -637,12 +637,12 @@ SquareFreeRegularTriangularSetGcdPackage(R,E,V,P,TS): Exports == Implementation p3: P := LazardQuotient2(p2, leadingCoefficient(p2,v), s, delta) zero?(degree(p3,v)) => toReturn := cons([p3,lpwt.tower]$PWT, toReturn) - for lpwt in toSee repeat + for lpwt: local in toSee repeat toReturn := cons([p3,lpwt.tower]$PWT, toReturn) (p1, p2) := (p3, next_subResultant2(p1, p2, p3, s)) s := leadingCoefficient(p1,v) llpwt := cons([[p1,p2,s],lpwt.tower]$LpWT, llpwt) - for lpwt in toSee repeat + for lpwt: local in toSee repeat llpwt := cons([[p1,p2,s],lpwt.tower]$LpWT, llpwt) toReturn @@ -716,7 +716,7 @@ SquareFreeRegularTriangularSetGcdPackage(R,E,V,P,TS): Exports == Implementation (ground? g) or (mvar(g) < v) => lts := augment(ts_v,ts)$TS lts := augment(members(ts_v_+),lts)$TS - for ts in lts repeat + for ts: local in lts repeat lbwt := cons([true, ts]$BWT,lbwt) g := mainPrimitivePart g lts_g := augment(g,ts)$TS @@ -801,7 +801,7 @@ SquareFreeRegularTriangularSetGcdPackage(R,E,V,P,TS): Exports == Implementation (ground? g) or (mvar(g) < v) => lts := augment(ts_v,ts)$TS lts := augment(members(ts_v_+),lts)$TS - for ts in lts repeat + for ts: local in lts repeat lbwt := cons([true, ts]$BWT,lbwt) g := mainPrimitivePart g lts_g := augment(g,ts)$TS @@ -1091,7 +1091,7 @@ SquareFreeRegularSetDecompositionPackage(R,E,V,P,TS): Exports == Implementation s: String := concat ["[", string((#toSee)::Z), " ", convert(lpwt)@String] m: N := #(lpwt.val) toSee := rest toSee - for lpwt in toSee repeat + for lpwt: local in toSee repeat m := m + #(lpwt.val) s := concat [s, ",", convert(lpwt)@String] s := concat [s, " -> |", string(m::Z), "|; {", string(n::Z),"}]"] |