Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

fix the documentation of IsPGroup #5784

Merged
merged 1 commit into from
Aug 30, 2024
Merged

fix the documentation of IsPGroup #5784

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 3 additions & 2 deletions grp/simple.gd
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -26,8 +26,9 @@
## Groups are specified via their name in ATLAS style notation, with parameters added
## if necessary. The intelligence applied to parsing the name is limited, and at the
## moment no proper extensions can be constructed.
## For groups who do not have a permutation representation of small degree the
## ATLASREP package might need to be installed to construct theses groups.
## For groups which do not have a permutation representation of small degree
## the <Package>AtlasRep</Package> package might need to be installed
## to construct these groups.
## <Example><![CDATA[
## gap> g:=SimpleGroup("M(23)");
## M23
Expand Down
14 changes: 12 additions & 2 deletions lib/grp.gd
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -427,11 +427,21 @@ DeclareOperation( "KnowsHowToDecompose", [ IsGroup, IsList ] );
## <M>p</M>-group, and <K>false</K> otherwise.
## <P/>
## Finite <M>p</M>-groups are precisely those groups whose order
## (see&nbsp;<Ref Attr="Size"/>) is a prime power, and are always
## nilpotent.
## (see&nbsp;<Ref Attr="Size"/>) is <M>1</M> or a prime power
## (see&nbsp;<Ref Func="IsPrimePowerInt"/>,
## and are always nilpotent.
## <P/>
## Note that <M>p</M>-groups can also be infinite, and in that case,
## need not be nilpotent.
## <P/>
## <Example><![CDATA[
## gap> IsPGroup( DihedralGroup( 8 ) );
## true
## gap> IsPGroup( TrivialGroup() );
## true
## gap> IsPGroup( DihedralGroup( 10 ) );
## false
## ]]></Example>
## </Description>
## </ManSection>
## <#/GAPDoc>
Expand Down
Loading