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

*From*: Shiyao MA <i@xxxxxxxxx>*Date*: Mon, 25 Mar 2019 19:13:36 -0700 (PDT)*References*: <70a36d70-07a3-4afa-becf-a56016cb1dcf@googlegroups.com> <0b91e364-d3cf-4814-8d0c-6eb9049f328d@googlegroups.com> <D0A46015-F57A-46A5-A1B2-89CAA4F3151A@gmail.com>

Hi.

Symmetry should be the property between a set S and the _expression_ it is applied to.

So in the example, we have the set Foos = {a, b}.

And we have the usage: "variables x \in Foos, y \in Foos;"

I wonder, in what meaning, makes Foos being symmetry to the variable initialization. For example, you mentioned <<b, b>> is equivalent to <<a,a>>, but why? and how is that related to symmetry?

Essentially, what defines symmetry?

Best,

On Monday, 25 March 2019 15:13:07 UTC+8, Stephan Merz wrote:

According to your declaration of symmetry, <<b,a>> is considered equivalent to <<a,b>>, and <<b,b>> is equivalent to <<a,a>>.StephanOn 25 Mar 2019, at 07:09, Shiyao MA <i...@xxxxxxxxx> wrote:To be specific. For the example,CONSTANT Foos\* ...variables x \in Foos, y \in Foos;beginprint <<x, y>>;end algorithm;where Foos = {a, b} and declared symmetric.Then only <<a, b>>, and <<a, a>> will be outputted. but not <<b, b>>.Why is that?--

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+u...@googlegroups.com .

To post to this group, send email to tla...@xxxxxxxxxxxxxxxx.

Visit this group at https://groups.google.com/group/tlaplus .

For more options, visit https://groups.google.com/d/optout .

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.

**Follow-Ups**:**Re: [tlaplus] Understand symmetric set***From:*Stephan Merz

**References**:**[tlaplus] Re: Understand symmetric set***From:*Shiyao MA

**Re: [tlaplus] Re: Understand symmetric set***From:*Stephan Merz

- Prev by Date:
**[tlaplus] Re: Proving false with fairness** - Next by Date:
**[tlaplus] Re: Proving false with fairness** - Previous by thread:
**Re: [tlaplus] Re: Understand symmetric set** - Next by thread:
**Re: [tlaplus] Understand symmetric set** - Index(es):