Ask Your Question

SGQ's profile - activity

2020-01-17 01:16:15 +0200 received badge  Student (source)
2018-10-07 16:24:08 +0200 received badge  Famous Question (source)
2016-03-21 14:35:52 +0200 received badge  Notable Question (source)
2015-06-19 00:53:12 +0200 received badge  Popular Question (source)
2012-12-27 06:15:39 +0200 commented question Orbits on group actions acting on sets

But can it be directly done in sage?

2012-12-26 10:56:11 +0200 asked a question Orbits on group actions acting on sets

Hello!

I am wondering how to solve the following problem efficiently.

I have a Permuation Group $G$ acting on $A = {1,\ldots,n}$ and I wish to compute the orbits of $G$ but not the ones of $G$ acting on $A$ but rather for $G$ acting on some $S \subseteq A \times A$ in the natural way. That is if $g \in G$ and $ x = {a,b} \in S$ then $x^g = {a^g,b^g} \in S$

Other software for permuation groups (magma, gap) allows to do this by specifing an additional option "on sets/on tuples" to compute the specifed orbits.

I am wondering how could I do the same in sage, given a permuation group $G$ and an $S$ as described above.

Thanks!