[sage-support] Group action
Hi guys, I have the following setting: Given a finite subgroup G of GL_\C(n) of order k, acting on C[x_1,...,x_n] by multiplication with (potenz of a ) k-th root of unity. What is the best way, to translate this setting to sage? In the end I'm interested into the ring of invariants under G and it's representation as quotient. bg, Johannes -- You received this message because you are subscribed to the Google Groups sage-support group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To post to this group, send email to sage-support@googlegroups.com. Visit this group at http://groups.google.com/group/sage-support?hl=en. For more options, visit https://groups.google.com/groups/opt_out.
[sage-support] Group action
Hellooo everybody !!! I would like to play with groups in Sage but I do not know how. I actually get my groups from a graph in the following way : sage: g = graphs.PetersenGraph() sage: ag = g.automorphism_group() sage: type(ag) class 'sage.groups.perm_gps.permgroup.PermutationGroup_generic_with_category' What I would like to do with this group is to consider it as a group action on my vertices and compute the orbits of some *sets* of vertices. Indeed, the method ag.orbits() would give me the list of all orbits of my vertices, but I would like to compute the orbit of a Set of vertices, that is all sets of the form gg * my_set for gg in ag. Is there any way to achieve it with Sage ? Thaank youu Nathann -- To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org
Re: [sage-support] Group action
On Mon, May 14, 2012 at 10:57 AM, Nathann Cohen nathann.co...@gmail.com wrote: Hellooo everybody !!! I would like to play with groups in Sage but I do not know how. I actually get my groups from a graph in the following way : sage: g = graphs.PetersenGraph() sage: ag = g.automorphism_group() sage: type(ag) class 'sage.groups.perm_gps.permgroup.PermutationGroup_generic_with_category' What I would like to do with this group is to consider it as a group action on my vertices and compute the orbits of some *sets* of vertices. Indeed, the method ag.orbits() would give me the list of all orbits of my vertices, but I would like to compute the orbit of a Set of vertices, that is all sets of the form gg * my_set for gg in ag. Is there any way to achieve it with Sage ? The short answer is yes, if you use GAP. The problem is that I don't know the syntax for group actions in GAP well enough to give you a beter answer quickly. If you post a specific question to GAP support, I think it would be answered immediately. Thaank youu Nathann -- To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org -- To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org