diff options
author | dos-reis <gdr@axiomatics.org> | 2008-08-31 13:56:20 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-08-31 13:56:20 +0000 |
commit | e8df02fd0970cad96e174ffb5b7707081266f371 (patch) | |
tree | 5e5322ecc176e9e8bb2bc5caad00409a0a687f42 /src/algebra/permgrps.spad.pamphlet | |
parent | 3c58b07e75e2c6cc1cd57d2902aa305335161e5e (diff) | |
download | open-axiom-e8df02fd0970cad96e174ffb5b7707081266f371.tar.gz |
* algebra/boolean.spad.pamphlet (Boolean): Remove definition of
operator ^.
* algebra/aggcat.spad.pamphlet (BitAggregate): Likewise.
* algebra/color.spad.pamphlet: Replace use of '^' as logical
negation by 'not'.
* algebra/ddfact.spad.pamphlet: Likewise.
* algebra/fortran.spad.pamphlet: Likewise.
* algebra/gaussfac.spad.pamphlet: Likewise.
* algebra/gbeuclid.spad.pamphlet: Likewise.
* algebra/gbintern.spad.pamphlet: Likewise.
* algebra/ghensel.spad.pamphlet: Likewise.
* algebra/groebsol.spad.pamphlet: Likewise.
* algebra/ideal.spad.pamphlet: Likewise.
* algebra/idecomp.spad.pamphlet: Likewise.
* algebra/indexedp.spad.pamphlet: Likewise.
* algebra/listgcd.spad.pamphlet: Likewise.
* algebra/mfinfact.spad.pamphlet: Likewise.
* algebra/modgcd.spad.pamphlet: Likewise.
* algebra/multfact.spad.pamphlet: Likewise.
* algebra/multsqfr.spad.pamphlet: Likewise.
* algebra/newpoint.spad.pamphlet: Likewise.
* algebra/npcoef.spad.pamphlet: Likewise.
* algebra/permgrps.spad.pamphlet: Likewise.
* algebra/pgcd.spad.pamphlet: Likewise.
* algebra/pleqn.spad.pamphlet: Likewise.
* algebra/qalgset.spad.pamphlet: Likewise.
* algebra/radeigen.spad.pamphlet: Likewise.
* algebra/rep2.spad.pamphlet: Likewise.
* algebra/solverad.spad.pamphlet: Likewise.
* algebra/space.spad.pamphlet: Likewise.
* algebra/view2D.spad.pamphlet: Likewise.
* algebra/strap/: Update cached Lisp translateion
* share/algebra/: Update databases.
Diffstat (limited to 'src/algebra/permgrps.spad.pamphlet')
-rw-r--r-- | src/algebra/permgrps.spad.pamphlet | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/algebra/permgrps.spad.pamphlet b/src/algebra/permgrps.spad.pamphlet index c4060112..69c4be03 100644 --- a/src/algebra/permgrps.spad.pamphlet +++ b/src/algebra/permgrps.spad.pamphlet @@ -244,10 +244,10 @@ PermutationGroup(S:SetCategory): public == private where point := orbit.orb.1 outlist := nil()$(L NNI) entryLessZero : B := false - while ^entryLessZero repeat + while not entryLessZero repeat entry := schreierVector.(actelt.point) entryLessZero := (entry < 0) - if ^entryLessZero then + if not entryLessZero then actelt := times(group.entry, actelt) if wordProblem then outlist := append ( words.(entry::NNI) , outlist ) [ actelt , reverse outlist ] @@ -262,7 +262,7 @@ PermutationGroup(S:SetCategory): public == private where workList := orbitList.pos for j in #workList..1 by -1 repeat newList := cons ( eval ( gen , workList.j ) , newList ) - if ^member?( newList , orbitList ) then + if not member?( newList , orbitList ) then orbitList := cons ( newList , orbitList ) pos := pos + 1 pos := pos - 1 @@ -318,7 +318,7 @@ PermutationGroup(S:SetCategory): public == private where for i in 1..#newGroup repeat newPoint := orbit.position newPoint := newGroup.i.newPoint - if ^ member? ( newPoint , orbit ) then + if not member? ( newPoint , orbit ) then orbit := cons ( newPoint , orbit ) position := position + 1 schreierVector.newPoint := i @@ -372,8 +372,8 @@ PermutationGroup(S:SetCategory): public == private where ran := ranelt ( group , words , maxLoops ) str := strip ( ran.elt , ort , group , words ) el2 := str.elt - if ^ testIdentity el2 then - if ^ member?(el2,group2) then + if not testIdentity el2 then + if not member?(el2,group2) then group2 := cons ( el2 , group2 ) if wordProblem then help : L NNI := append ( reverse str.lst , ran.lst ) |