DOC: ClassesSolvableGroup requires, but does not test membership.

This resolves #2055
gap-system · Jan 1, 2018 · 8248005 · 8248005
1 parent 20a547d
commit 8248005
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/lib/clas.gd b/lib/clas.gd
@@ -320,8 +320,10 @@ DeclareGlobalFunction( "GeneralStepClEANS" );
 ##  <Mark><C>candidates</C></Mark>
 ##  <Item>
 ##  is a list of elements for which canonical representatives
-##  are to be computed or for which a conjugacy test is performed. They must
-##  be given in mode 4. In mode 0 a list of classes corresponding to
+##  are to be computed or for which a conjugacy test is performed. Both
+##  elements must lie in <A>G</A>, but this is not tested. In mode 4 these
+##  elements must be given.
+##  In mode 0 a list of classes corresponding to
 ##  <C>candidates</C> is returned (which may contain duplicates). The
 ##  <C>representative</C>s chosen are canonical with respect to <C>pcgs</C>.
 ##  The records returned also contain components <C>operator</C>