diff options
author | dos-reis <gdr@axiomatics.org> | 2008-05-11 03:28:45 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-05-11 03:28:45 +0000 |
commit | 51422a0c6bc0128cd5635a01c402ef56ad4ed770 (patch) | |
tree | d7f4cb13310b177e1691acd1307eb420d70b2546 /src/algebra/permgrps.spad.pamphlet | |
parent | d2412069e4fc43a4bc6cc28ce4c57e02f8baee41 (diff) | |
download | open-axiom-51422a0c6bc0128cd5635a01c402ef56ad4ed770.tar.gz |
* interp/iterator.boot (compRepeatOrCollect): Don't iterator
variables and variables declared in a loop are local to that loop.
* interp/g-error.boot (needsToSplitMessage): New.
(errorSupervisor): Use it.
* interp/compiler.boot (compSymbol): Highlight erron=eous symbol.
* interp/wi1.boot (stackMessage): Remove duplicate.
* algebra/ffcat.spad.pamphlet (FiniteFieldCategory): Tidy.
* algebra/fff.spad.pamphlet (FiniteFieldFunctions): Likewie.
* algebra/groebsol.spad.pamphlet (GroebnerSolve): Likewise.
* algebra/intfact.spad.pamphlet (IntegerRoots): Likewise.
* algebra/mkfunc.spad.pamphlet (InputForm): Likewise.
* algebra/numtheor.spad.pamphlet (IntegerNumberTheoryFunctions):
Likewise.
* algebra/permgrps.spad.pamphlet (PermutationGroup): Likewise.
* algebra/random.spad.pamphlet (RandomFloatDistributions): Likewise.
* algebra/sgcf.spad.pamphlet
(SymmetricGroupCombinatoricFunctions): Likewise.
* algebra/triset.spad.pamphlet (PolynomialSetUtilitiesPackage):
Likewise.
* algebra/twofact.spad.pamphlet (TwoFactorize): Likewise.
Diffstat (limited to 'src/algebra/permgrps.spad.pamphlet')
-rw-r--r-- | src/algebra/permgrps.spad.pamphlet | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/algebra/permgrps.spad.pamphlet b/src/algebra/permgrps.spad.pamphlet index ee97d7ed..2014f7b4 100644 --- a/src/algebra/permgrps.spad.pamphlet +++ b/src/algebra/permgrps.spad.pamphlet @@ -342,6 +342,8 @@ PermutationGroup(S:SetCategory): public == private where bsgs1 (group:L V NNI,number1:NNI,words:L L NNI,maxLoops:I,gp:%,diff:I)_ : NNI == -- try to get a good approximation for the strong generators and base + ort: REC + k1: NNI for i in number1..degree repeat ort := orbitWithSvc ( group , i ) k := ort.orb @@ -484,6 +486,7 @@ PermutationGroup(S:SetCategory): public == private where kkk : I := 1 newGroup := reverse newGroup noAnswer : B := true + z: V NNI while noAnswer repeat reduceGenerators kkk -- *** Here is former "bsgs2" *** -- @@ -494,6 +497,8 @@ PermutationGroup(S:SetCategory): public == private where sgs := append ( sgs , out.i ) if wordProblem then wordlist := append ( wordlist , outword.i ) noresult : B := true + word3: L NNI + word: L NNI for i in kkk..#baseOfGroup while noresult repeat sgs := append ( sgs , out.i ) if wordProblem then wordlist := append ( wordlist , outword.i ) |