[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

*From*: Hillel Wayne <hwayne@xxxxxxxxx>*Date*: Wed, 6 Mar 2019 16:01:25 -0600*References*: <49fb73d6-681b-44b8-ab88-76d90400f7e1@googlegroups.com> <3cad7ec3-c02c-42f2-9938-da637704b9bb@googlegroups.com> <6748F77A-AC51-4B85-BF38-7259E400B626@gmail.com>*User-agent*: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.3.1

I don't think we need to use a recursive operator here. We can
instead write PermSeqs(seq, n) ==LET indice_maps == {im \in [1..n -> DOMAIN seq]: \A i, j \in 1..n: i /= j => im[i] /= im[j]} IN {[x \in 1..n |-> seq[im[x]]]: im \in indice_maps} Which gives the same results.
On 3/6/19 2:06 AM, Stephan Merz wrote:
I believe that the post [1] on StackOverflow, with a link to a worked-out example on GitHub, should help you get started.-- You received this message because you are subscribed to the Google Groups "tlaplus" group. To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx. To post to this group, send email to tlaplus@xxxxxxxxxxxxxxxx. Visit this group at https://groups.google.com/group/tlaplus. For more options, visit https://groups.google.com/d/optout. |

**References**:**[tlaplus] Write custom java code function plug-in for PLUSCAL/TLA to compute combinations on sequences w/ dups?***From:*7532yahoo

**[tlaplus] Re: Write custom java code function plug-in for PLUSCAL/TLA to compute combinations on sequences w/ dups?***From:*7532yahoo

**Re: [tlaplus] Re: Write custom java code function plug-in for PLUSCAL/TLA to compute combinations on sequences w/ dups?***From:*Stephan Merz

- Prev by Date:
**Re: [tlaplus] Re: Write custom java code function plug-in for PLUSCAL/TLA to compute combinations on sequences w/ dups?** - Next by Date:
**[tlaplus] How to understand the concept "step simulation"** - Previous by thread:
**Re: [tlaplus] Re: Write custom java code function plug-in for PLUSCAL/TLA to compute combinations on sequences w/ dups?** - Next by thread:
**[tlaplus] How to understand the concept "step simulation"** - Index(es):