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

Minimal Permutation Degree for Simple and Semi-Simple Groups #5732

Open
wants to merge 12 commits into
base: master
Choose a base branch
from
Open

Minimal Permutation Degree for Simple and Semi-Simple Groups #5732

Show file tree
Hide file tree
Changes from 9 commits
Commits
Show all changes
12 commits
Select commit Hold shift + click to select a range
027618e
MinimalFaithfulPermutationDegreeOfSimpleGroup
pranav-joshi-iitgn May 29, 2024
d6d67bf
Added documentation
pranav-joshi-iitgn Jun 2, 2024
c771b56
InstallMethod for simple group
pranav-joshi-iitgn Jun 3, 2024
73be9d4
Saperated into 2 functions to test better.
pranav-joshi-iitgn Jun 4, 2024
242e40d
Merge branch 'gap-system:master' into second
pranav-joshi-iitgn Jun 7, 2024
42f49ac
fixed linting errors
pranav-joshi-iitgn Jun 7, 2024
6b8940c
Merge branch 'gap-system:master' into second
pranav-joshi-iitgn Jul 2, 2024
b4d1e73
Added a function for semi-simple groups
pranav-joshi-iitgn Jul 2, 2024
b70fa74
Added lifting algorithms for PSp and POmega+
pranav-joshi-iitgn Jul 8, 2024
2cca02b
Removed function for simple group input
pranav-joshi-iitgn Jul 26, 2024
cd4becc
Moved tests to `testextra`
pranav-joshi-iitgn Jul 26, 2024
b251def
Merge branch 'gap-system:master' into second
pranav-joshi-iitgn Aug 13, 2024
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: 5 additions & 0 deletions lib/grplatt.gd
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -535,6 +535,9 @@ DeclareSynonym("EmbeddingConjugates",ContainingConjugates);
## positive integer <M>n=\mu(G)</M> such that <A>G</A> is isomorphic to a
## subgroup of the symmetric group of degree <M>n</M>.
## This can require calculating the whole subgroup lattice.
## In case you know that <A>G</A> is simple or semi-simple, you can use
## <C>MinimalFaithfulPermutationDegreeOfSimpleGroup</C> and
## <C>MinimalFaithfulPermutationDegreeOfSemiSimpleGroup</C> instead.
## The operation
## <Ref Oper="MinimalFaithfulPermutationRepresentation"/>
## returns a
Expand All @@ -556,6 +559,8 @@ DeclareSynonym("EmbeddingConjugates",ContainingConjugates);
DeclareOperation("MinimalFaithfulPermutationDegree",[IsGroup and IsFinite]);
DeclareOperation("MinimalFaithfulPermutationRepresentation",
[IsGroup and IsFinite]);
DeclareGlobalFunction("MinimalFaithfulPermutationDegreeOfSimpleGroup");
DeclareGlobalFunction("MinimalFaithfulPermutationDegreeOfSemiSimpleGroup");

#############################################################################
##
Expand Down
Loading