diff options
author | dos-reis <gdr@axiomatics.org> | 2013-05-18 06:52:11 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2013-05-18 06:52:11 +0000 |
commit | 0611af2a9349c640402fded93ddc53f641af9967 (patch) | |
tree | 6ae1e25b47382ea2d3083c83d8cbecc4368619f9 /src/algebra/galfact.spad.pamphlet | |
parent | 979b28507f84eff5c739879f4b15e595eeab00f9 (diff) | |
download | open-axiom-0611af2a9349c640402fded93ddc53f641af9967.tar.gz |
Use members, not parts
Diffstat (limited to 'src/algebra/galfact.spad.pamphlet')
-rw-r--r-- | src/algebra/galfact.spad.pamphlet | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/galfact.spad.pamphlet b/src/algebra/galfact.spad.pamphlet index edce7558..e9b111a2 100644 --- a/src/algebra/galfact.spad.pamphlet +++ b/src/algebra/galfact.spad.pamphlet @@ -274,7 +274,7 @@ GaloisGroupFactorizer(UP): Exports == Implementation where n -- local function, returns the a Set of shifted elements - shiftSet(s:Set N,shift:N):Set N == set [ e+shift for e in parts s ] + shiftSet(s:Set N,shift:N):Set N == set [ e+shift for e in members s ] -- local function, returns the "reductum" of an Integer (as chain of bits) reductum(n:Z):Z == n-shift(1,length(n)-1) @@ -484,7 +484,7 @@ GaloisGroupFactorizer(UP): Exports == Implementation where -- local function, returns the set of elements "divided" by an integer divideSet(s:Set N, n:N):Set N == l: List N := [ 0 ] - for e in parts s repeat + for e in members s repeat if (ee := (e exquo n)$N) case N then l := cons(ee::N,l) set(l) |