On IsSimple() in Magma.

The name of the pictureThe name of the pictureThe name of the pictureClash 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.







share|cite|improve this question




















  • 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














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.







share|cite|improve this question




















  • 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












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.







share|cite|improve this question












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.









share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










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
















  • 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










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.






share|cite|improve this answer




















  • 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










Your Answer




StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");

StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);

else
createEditor();

);

function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
convertImagesToLinks: true,
noModals: false,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);








 

draft saved


draft discarded


















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






























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.






share|cite|improve this answer




















  • 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














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.






share|cite|improve this answer




















  • 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












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.






share|cite|improve this answer












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.







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










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
















  • 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












 

draft saved


draft discarded


























 


draft saved


draft discarded














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













































































這個網誌中的熱門文章

How to combine Bézier curves to a surface?

Mutual Information Always Non-negative

Why am i infinitely getting the same tweet with the Twitter Search API?