aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/galfact.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/galfact.spad.pamphlet')
-rw-r--r--src/algebra/galfact.spad.pamphlet1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/algebra/galfact.spad.pamphlet b/src/algebra/galfact.spad.pamphlet
index 8d9a6a02..0e06b615 100644
--- a/src/algebra/galfact.spad.pamphlet
+++ b/src/algebra/galfact.spad.pamphlet
@@ -290,6 +290,7 @@ GaloisGroupFactorizer(UP): Exports == Implementation where
if (l := length n)<levels then return(n+shift(1,l-1))
(n=shift(seed(level),levels-level)) => "End of level"
b: Z := 1
+ lr : Z
while ((l-b) = (lr := length(n := reductum n)))@Boolean repeat b := b+1
reductum(n)+shift(seed(b+1),lr)