diff options
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 ) |