DOC: SubgroupOfWholeGroupByCosetTable assumes table is standardized.

This resolves #2173

Author: hulpke

lib/grpfp.gd

@@ -689,9 +689,11 @@ DeclareGlobalFunction("TracedCosetFpGroup");
 ##  <Func Name="SubgroupOfWholeGroupByCosetTable" Arg='fpfam, tab'/>
 ##
 ##  <Description>
-##  takes a family <A>fpfam</A> of an FpGroup and a coset table <A>tab</A>
+##  takes a family <A>fpfam</A> of an FpGroup and a standardized coset
+##  table <A>tab</A>
 ##  and returns the subgroup of <A>fpfam</A><C>!.wholeGroup</C> defined by
-##  this coset table.
+##  this coset table. The function will not check whether the coset table is
+##  standardized.
 ##  See also&nbsp;<Ref Func="CosetTableBySubgroup"/>.
 ##  </Description>
 ##  </ManSection>