On Monday, May 2, 2022 at 11:24:44 AM UTC-4 axio...@yahoo.de wrote:

> I am actually not sure anymore, which methods or functionality this class 
> should provide.
>
> Would it possibly be better to enhance PermutationGroup with an additional 
> optional "from_action" and "from_cyclic_action" argument?  Eg.:
>
> PermutationGroup(domain = X, cyclic_action = lambda x: f(x))
>
> PermutationGroup(domain = X, group_action = (G, lambda g, x: f(g, x)))
>

I'm thinking here also of actions on other sets, though, which wouldn't 
just be a matrix representation, unless I'm misunderstanding the purpose of 
these function signatures.   In particular, an action of a group on set of 
vectors, which stay vectors.  Examples:
* Permutation group of 3 elements on 3-vectors in obvious manner
* Permutation group of 3 elements on 6-vectors in non-obvious manner where 
they are indexed [e,(12),(13),(23),(123),(132)] or something like that

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/0c9ee591-092d-4c93-a6d7-d219f936b327n%40googlegroups.com.

Reply via email to