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

*From*: Ron Pressler <r...@xxxxxxxxxxxxxxxxxxx>*Date*: Thu, 3 Dec 2015 07:21:13 -0800 (PST)*References*: <feb1173e-380c-4cb1-80ac-a5d8edf1c108@googlegroups.com> <0d9ae6b0-f5f1-4159-a933-32921111ab3d@googlegroups.com> <c7f7df3e-118a-42e1-aca4-e7a47dced84c@googlegroups.com> <82111398-b195-40c1-8926-59e179145fa6@googlegroups.com> <f283857c-31a1-4d9b-b22a-c39fd47f0c44@googlegroups.com> <4c9e536c-f18f-4b99-adad-7ffa3a4b38aa@googlegroups.com>

On Thursday, December 3, 2015 at 5:16:56 PM UTC+2, Ron Pressler wrote:

Now introduce a constant, Map, which maps the set to {x, y, z} in any arbitrary way.

By "any arbitrary way" I mean any arbitrary bijection, of course.

**Follow-Ups**:**Re: [tlaplus] The effect of symmetry sets on TLC performance***From:*Michael Leuschel

**References**:**The effect of symmetry sets on TLC performance***From:*Ron Pressler

**Re: The effect of symmetry sets on TLC performance***From:*Ron Pressler

**Re: The effect of symmetry sets on TLC performance***From:*Leslie Lamport

**Re: The effect of symmetry sets on TLC performance***From:*Ron Pressler

**Re: The effect of symmetry sets on TLC performance***From:*Leslie Lamport

**Re: The effect of symmetry sets on TLC performance***From:*Ron Pressler

- Prev by Date:
**Re: The effect of symmetry sets on TLC performance** - Next by Date:
**Re: [tlaplus] The effect of symmetry sets on TLC performance** - Previous by thread:
**Re: The effect of symmetry sets on TLC performance** - Next by thread:
**Re: [tlaplus] The effect of symmetry sets on TLC performance** - Index(es):