Skip to content

Commit

Permalink
Update doc/ref/grplib.xml
Browse files Browse the repository at this point in the history
Co-authored-by: Max Horn <max@quendi.de>
  • Loading branch information
hulpke and fingolfin authored Sep 29, 2020
1 parent b01d245 commit 9a8895f
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions doc/ref/grplib.xml
Original file line number Diff line number Diff line change
Expand Up @@ -101,7 +101,7 @@ calculations.

<Subsection Label="Generator Names">
<Heading>Generator Names</Heading>
For groups created as finitely presented groups of polycyclic groups, the
For groups created as finitely presented groups, including polycyclic groups, the
generators are labelled, by default, with a letter and a number. Using the
option <C>generatorNames</C> it is possible to influcence this naming. If
this option holds a string, the generators are named with this sting and
Expand Down Expand Up @@ -1193,4 +1193,3 @@ gap> LargestMovedPoint( P2 );
<!-- %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -->
<!-- %% -->
<!-- %E -->

0 comments on commit 9a8895f

Please sign in to comment.