diff options
Diffstat (limited to 'src/algebra/perm.spad.pamphlet')
| -rw-r--r-- | src/algebra/perm.spad.pamphlet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/perm.spad.pamphlet b/src/algebra/perm.spad.pamphlet index e0f014d1..5679493f 100644 --- a/src/algebra/perm.spad.pamphlet +++ b/src/algebra/perm.spad.pamphlet @@ -47,7 +47,7 @@ PermutationCategory(S:SetCategory): Category == Group with ++ orbit(p, el) returns the orbit of {\em el} under the ++ permutation p, i.e. the set which is given by applications of ++ the powers of p to {\em el}. - "<" : (%,%) -> Boolean + < : (%,%) -> Boolean ++ p < q is an order relation on permutations. ++ Note: this order is only total if and only if S is totally ordered ++ or S is finite. |