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.

Reply via email to