diff options
Diffstat (limited to 'src/algebra/permgrps.spad.pamphlet')
| -rw-r--r-- | src/algebra/permgrps.spad.pamphlet | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/src/algebra/permgrps.spad.pamphlet b/src/algebra/permgrps.spad.pamphlet index eaaaf376..39a9db79 100644 --- a/src/algebra/permgrps.spad.pamphlet +++ b/src/algebra/permgrps.spad.pamphlet @@ -54,10 +54,8 @@ PermutationGroup(S:SetCategory): public == private where REC3 ==> Record(elt:V NNI,lst:L NNI) REC4 ==> Record(bool:B,lst:L NNI) - public ==> SetCategory with + public ==> Join(SetCategory,HomotopicTo L PERM S) with - coerce : % -> L PERM S - ++ coerce(gp) returns the generators of the group {\em gp}. generators : % -> L PERM S ++ generators(gp) returns the generators of the group {\em gp}. elt : (%,NNI) -> PERM S @@ -84,9 +82,6 @@ PermutationGroup(S:SetCategory): public == private where ++ generators of the group {\em gp} in the original generators of ++ {\em gp}, represented by their indices in the list, given by ++ {\em generators}. - coerce : L PERM S -> % - ++ coerce(ls) coerces a list of permutations {\em ls} to the group - ++ generated by this list. permutationGroup : L PERM S -> % ++ permutationGroup(ls) coerces a list of permutations {\em ls} to ++ the group generated by this list. |