On Thu, Apr 28, 2022 at 9:35 AM 'Martin R' via sage-devel <sage-devel@googlegroups.com> wrote: > > I don't know about OrbitDomains, how does it work / how do you use it? >
The documentation has an example: https://www.gap-system.org/Manuals/doc/ref/chap41.html > Is there a standard (and easy) way to define an action (in particular, a > cyclic action) on a set in sage? > Sorry, I don't know an easy way. I've always just defined them by hand whenever needed. However, I agree with you that a better way is needed. > On Thursday, 28 April 2022 at 15:27:03 UTC+2 David Joyner wrote: >> >> On Thu, Apr 28, 2022 at 9:09 AM 'Martin R' via sage-devel >> <sage-...@googlegroups.com> wrote: >> > >> > I am very frequently using the function >> > >> > Signature: orbit_decomposition(L, cyc_act) -> 'list[list]' >> > Docstring: >> > Return the orbit decomposition of "L" by the action of "cyc_act". >> > >> > INPUT: >> > >> > * "L" -- list >> > * "cyc_act" -- bijective function from "L" to "L" >> > >> > OUTPUT: >> > >> > * a list of lists, the orbits under the cyc_act acting on "L" >> > >> > which I have to import using >> > >> > from sage.combinat.cyclic_sieving_phenomenon import orbit_decomposition >> > >> > I am guessing that this function might be useful for other people, and >> > will probably be reimplemented over and over again (it is not hard to do >> > that, of course). >> > >> > My question is: wouldn't it make sense to make it available in an easier >> > way? if so, how? >> > >> >> Yes, I agree it should be easier. But can't one simply call Gap's >> OrbitDomains >> instead of reimplementing it? >> >> > Martin >> > >> > -- >> > 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+...@googlegroups.com. >> > To view this discussion on the web visit >> > https://groups.google.com/d/msgid/sage-devel/b1532848-b1d6-426b-9312-66dba5d8ef5en%40googlegroups.com. > > -- > 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/626b9322-8fc4-49d8-bb53-638931f6057dn%40googlegroups.com. -- 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/CAEQuuAWDruBEsRYWOwZkXfpLTcFuuuAfjb2r2CSO%3DU8NYshDOw%40mail.gmail.com.