On IsSimple() in Magma.
Clash Royale CLAN TAG#URR8PPP
up vote
-1
down vote
favorite
It is known that $S_11$ is a Atlas group and is not a simple group. In Magma,
IsSimple(ATLASGroup("S11"));
Runtime error in 'IsSimple': Bad argument types
Argument types given: GrpAtlas
We want to know how to avoid this error in Magma.
finite-groups magma
add a comment |Â
up vote
-1
down vote
favorite
It is known that $S_11$ is a Atlas group and is not a simple group. In Magma,
IsSimple(ATLASGroup("S11"));
Runtime error in 'IsSimple': Bad argument types
Argument types given: GrpAtlas
We want to know how to avoid this error in Magma.
finite-groups magma
You should convert your Atlas Group into a Matrix Group or a Permutation Group using a key. Read the instructions in the Atlas Group part of the Handbook.
â xarles
Aug 19 at 7:57
@xarles I'm a freshman for Magma. Can you give me a example? Thank you.
â Qin
Aug 19 at 8:20
add a comment |Â
up vote
-1
down vote
favorite
up vote
-1
down vote
favorite
It is known that $S_11$ is a Atlas group and is not a simple group. In Magma,
IsSimple(ATLASGroup("S11"));
Runtime error in 'IsSimple': Bad argument types
Argument types given: GrpAtlas
We want to know how to avoid this error in Magma.
finite-groups magma
It is known that $S_11$ is a Atlas group and is not a simple group. In Magma,
IsSimple(ATLASGroup("S11"));
Runtime error in 'IsSimple': Bad argument types
Argument types given: GrpAtlas
We want to know how to avoid this error in Magma.
finite-groups magma
asked Aug 19 at 7:40
Qin
8217
8217
You should convert your Atlas Group into a Matrix Group or a Permutation Group using a key. Read the instructions in the Atlas Group part of the Handbook.
â xarles
Aug 19 at 7:57
@xarles I'm a freshman for Magma. Can you give me a example? Thank you.
â Qin
Aug 19 at 8:20
add a comment |Â
You should convert your Atlas Group into a Matrix Group or a Permutation Group using a key. Read the instructions in the Atlas Group part of the Handbook.
â xarles
Aug 19 at 7:57
@xarles I'm a freshman for Magma. Can you give me a example? Thank you.
â Qin
Aug 19 at 8:20
You should convert your Atlas Group into a Matrix Group or a Permutation Group using a key. Read the instructions in the Atlas Group part of the Handbook.
â xarles
Aug 19 at 7:57
You should convert your Atlas Group into a Matrix Group or a Permutation Group using a key. Read the instructions in the Atlas Group part of the Handbook.
â xarles
Aug 19 at 7:57
@xarles I'm a freshman for Magma. Can you give me a example? Thank you.
â Qin
Aug 19 at 8:20
@xarles I'm a freshman for Magma. Can you give me a example? Thank you.
â Qin
Aug 19 at 8:20
add a comment |Â
1 Answer
1
active
oldest
votes
up vote
1
down vote
accepted
In Magma, the answer to ATLASGroup("S11") is not a Permutation Group or a Matrix Group, but an element of a different type, and you cannot ask it if it is simple.
You need to convert it to an actual group, by using the keys.
It is described in the documentation.
In your case you can do:
K:=MatRepKeys(ATLASGroup("S11"));
G:=MatrixGroup(K[1]);
IsSimple(G);
First you get the list of keys. There is only one. Then you use the key to get a Matrix Group G. Then you ask what you want.
Sorry, I don't have the file : ..Magmalibs/data/Atlas/alt_mrep.ind
â Qin
Aug 19 at 11:36
@Qin You can use Magma via the calculator in the web:
â xarles
Aug 19 at 14:51
add a comment |Â
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
1
down vote
accepted
In Magma, the answer to ATLASGroup("S11") is not a Permutation Group or a Matrix Group, but an element of a different type, and you cannot ask it if it is simple.
You need to convert it to an actual group, by using the keys.
It is described in the documentation.
In your case you can do:
K:=MatRepKeys(ATLASGroup("S11"));
G:=MatrixGroup(K[1]);
IsSimple(G);
First you get the list of keys. There is only one. Then you use the key to get a Matrix Group G. Then you ask what you want.
Sorry, I don't have the file : ..Magmalibs/data/Atlas/alt_mrep.ind
â Qin
Aug 19 at 11:36
@Qin You can use Magma via the calculator in the web:
â xarles
Aug 19 at 14:51
add a comment |Â
up vote
1
down vote
accepted
In Magma, the answer to ATLASGroup("S11") is not a Permutation Group or a Matrix Group, but an element of a different type, and you cannot ask it if it is simple.
You need to convert it to an actual group, by using the keys.
It is described in the documentation.
In your case you can do:
K:=MatRepKeys(ATLASGroup("S11"));
G:=MatrixGroup(K[1]);
IsSimple(G);
First you get the list of keys. There is only one. Then you use the key to get a Matrix Group G. Then you ask what you want.
Sorry, I don't have the file : ..Magmalibs/data/Atlas/alt_mrep.ind
â Qin
Aug 19 at 11:36
@Qin You can use Magma via the calculator in the web:
â xarles
Aug 19 at 14:51
add a comment |Â
up vote
1
down vote
accepted
up vote
1
down vote
accepted
In Magma, the answer to ATLASGroup("S11") is not a Permutation Group or a Matrix Group, but an element of a different type, and you cannot ask it if it is simple.
You need to convert it to an actual group, by using the keys.
It is described in the documentation.
In your case you can do:
K:=MatRepKeys(ATLASGroup("S11"));
G:=MatrixGroup(K[1]);
IsSimple(G);
First you get the list of keys. There is only one. Then you use the key to get a Matrix Group G. Then you ask what you want.
In Magma, the answer to ATLASGroup("S11") is not a Permutation Group or a Matrix Group, but an element of a different type, and you cannot ask it if it is simple.
You need to convert it to an actual group, by using the keys.
It is described in the documentation.
In your case you can do:
K:=MatRepKeys(ATLASGroup("S11"));
G:=MatrixGroup(K[1]);
IsSimple(G);
First you get the list of keys. There is only one. Then you use the key to get a Matrix Group G. Then you ask what you want.
answered Aug 19 at 8:50
xarles
1,27069
1,27069
Sorry, I don't have the file : ..Magmalibs/data/Atlas/alt_mrep.ind
â Qin
Aug 19 at 11:36
@Qin You can use Magma via the calculator in the web:
â xarles
Aug 19 at 14:51
add a comment |Â
Sorry, I don't have the file : ..Magmalibs/data/Atlas/alt_mrep.ind
â Qin
Aug 19 at 11:36
@Qin You can use Magma via the calculator in the web:
â xarles
Aug 19 at 14:51
Sorry, I don't have the file : ..Magmalibs/data/Atlas/alt_mrep.ind
â Qin
Aug 19 at 11:36
Sorry, I don't have the file : ..Magmalibs/data/Atlas/alt_mrep.ind
â Qin
Aug 19 at 11:36
@Qin You can use Magma via the calculator in the web:
â xarles
Aug 19 at 14:51
@Qin You can use Magma via the calculator in the web:
â xarles
Aug 19 at 14:51
add a comment |Â
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2887466%2fon-issimple-in-magma%23new-answer', 'question_page');
);
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
You should convert your Atlas Group into a Matrix Group or a Permutation Group using a key. Read the instructions in the Atlas Group part of the Handbook.
â xarles
Aug 19 at 7:57
@xarles I'm a freshman for Magma. Can you give me a example? Thank you.
â Qin
Aug 19 at 8:20