[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[tlaplus] Function sets with distinct mappings
- From: "thomas...@xxxxxxxxx" <thomasgebert@xxxxxxxxx>
- Date: Sun, 27 Feb 2022 14:32:27 -0800 (PST)
- Ironport-data: A9a23:Vcg1p60JYrOcJOCvCfbD5UV0kn2cJEfYwER7XKvMYLTBsI5bp2YGx jMYUW2EOPeJZDCmfdonaNvgo05V78Ddy4VkHlBr3Hw8FHgiRejtVY3IdB+oV8+xBpSeFxw/t 512hv3odp1coqr0/0/1WlTZhSAgk/nOH9IQMcacUsxLbVYMpBwJ1FQyw4bVvqYy2YLjW1nX5 ouoyyHiEAbNNwBcYjp8B52r80sHUMTa4Fv0aXRjDRzjlAa2e0g9VPrzF4npR5fLatU88tqBe gr25OrRElU1UPsaIojNfr7TKiXmS1NJVOSEoiI+t6OK2nCuqsGuu0o2HKJ0VKtZt9mGt8x+2 foWm8ORci0oBaHVxfpeCiNCPBgraMWq+JefSZS+mcmazkmDdHy1hvszUwc5OooX/usxCmZLn RAaAGpVP1bT2qTvnuv9F7YEascLdKEHOKsDvnh4ySzCTvwgSrrvfIb4xfJ/4AoWrOoRPcaDO eswTBVWQST7UTtyC3Y/B5U5k+OliWP4biVD7lmSoMLb5kCJl1AsjOmya7I5fPS3WpxZp2O4/ V722G3yGh4ZBdKUlwCspyfEaujnxHunAur+DoaQ+v9xi0CI3UQPDBRQUECh5Pi/kE+3HdNZM U0dvCQ0xZXe72SuR9j5Ghq/+TuK40FaVN1XHOk3rgqKz8I4/jp1GEAYQS9uM/J5lfQcRAcmz wKX3IrTHxNW5ej9pW2myp+Yqja7OC4wJGAEZDMZQQZt3zUFiNFs5v4oZoYzeJNZnuEZChmrn G/X9HlWa6E7yJ9Uh//irDgrlhr1/sCRJjPZ8Dk7SY5M0++UTIusZojt7l+CqPgdc8CWSV6Ou HVCkM+bhAzvMX1vvHPQKAnuNOvzjxpgDNE6qQI/d3XG32j8k0NPhagKvFlDyL5Ba67ogwPBb k7Joh9275ROJnasZqIfS9vvV5l7nfa+TYy+DKu8gj9yjn5ZJFDvEMZGNR744owRuBVEfVwXZ c3CKp71VR7294w+lWbmFo/xLoPHNghnnT+JLXwK5xug1rWaaRaopUQtYTOzghQCxPLUyC2Mq 4g3H5LTm313DbOiCgGKrtZ7BQ1afBATWMGqw+QKJ77rClQ9QwkJVaSOqY7NjqQ190ijvrqQo SjVt44x4AGXuEAr3i3RMiEzMO60BM0nxZ/5VAR1VWuVN7EYSd7HxM8im1EfJNHLLcRvkqx5S ecrYcKFDqgdQzjL4W1DP5b6q4NmeRuxgh+WJGyuZz1mJ8xsQAnA+9nFeArz9XheVXHu7pRg/ LDwhBnGRZcjRhh5CJqEYvyYyV7s72MWn/h/XheVL9QKIBfs/YFmJjbflPgyJ81QexzPyiHLh QmTCBYc4+LKptZtotXOgKmFqaavEvd/ThIKRTmFse7uOHCDrGS5wIJGXOKZRhznVTv5qPe4e OFY7/DgK/lYzltHtoxLFbw0n68z4t3YoaADklZpEXDNWFScCr16J06A08QS5LZGwaVUuFfvV 0+Co4IIObiANM7/KlMJIBs5aeCPiaMdljXItKpnL0L96yt686CATF1JeRKLjXUFfrdyNYokx 8YnudIXulzk0UNxbYjZg3AG7XmII1wBT74j6sMQDrjth1d50VpFe5HdVnL77ZzTOdVBNk4mf m2diKbY3e8Ow0PDdz80EiGI07cCw5sJvx9OwRkJIFHQwojJgfo+3Rtw9zUrT1QKkk8WjborY mU7ZVdoIaiu/itzgJQRVW6bHQwcVgaS/Vb8ygdUmWCIHU2pTXDwKnYgM+KBoBIQ/25GIGgJ+ biZzHriAznte8710yQoXlN9sLnmRNp4+QCBw5/3TpjYQcllOGO7wbKofncCsBD9AMk8rELAo uZu8elqbrDjLmgbpKhiU9uW0rEZSRalIm1eQKAxp/hQRj6CJzziiyKTL02Re99WI6CY+0GPD cEzdNlEUA6z1XrToz0XWfwFL7NuwK975MYeYqi5YikJqbyCtiEvv5XX+SzzwmQsRpJhi8EgM sTNczuaFnGLwmBJkXTGtshON2e1PYseaAvn0Lzn+ekFDchY4uRlcEV31bzt+nvIb01o+BWbu A6FbKjTlrQwxYNplorqM6NCGwTkdo+pBbrQqFi+44ZUcNfCEcbSrAdJ+FPpCAJbYOkKUNNtm LXR7dP60SspZlrtv7w1RnVAK0VI2Sl2dO9eM8ayK34D2CXfB4nj5BwM/23+IptM+D+YCg9LW CPgAPZct/ZMMzue+JGRQydZFBkZBqvtabr4vmW2qPHk5t01z1ncNN3+nZP2RTgzS8LLUqESz if7vPGh4t1XtoNRHARCDPZja3O9zJkPRoN+H+DMWfKk4qVET79MVnYOVfbt1N0TNkS5LQ==
- Ironport-hdrordr: A9a23:W0ctiapZSbWa6nj7oQMsK6AaV5oReYIsimQD101hICG9E/bo8v xG88516faZslgssRIb6LK90cu7IU80nKQdieUs1NyZLWrbUQWTTb2K67GI/xTwXyz3/e5Z1b olK/ImUYSYNzVHpNe/4QGyE9Mh3YPvysqVuds=
- Ironport-sdr: 2QKLb5/5mbW6uDln42nCdV5XCom9tUYeknilZbwJg+OAWNq1T0FxWXdScS35uGSvmYZDlCFOBn eapqlGEvQCVaBtyl7D2HBqFLO/5PcOcF915DtmGaHxO5DE5n608zgMtkZOqWgxm0MFQ3cBcEvB 0/PkMan66xmZrFAlxiFJBedHhgEZotrGconqHvttdkCWzNFtF9+1Jzx5ruWgIy+xJyBg6qFCum /88wXJkbg/60bfr06qkh+OxY+dRQz0BqcWG23+WZfLow8BmsowhVUZIqq4aBLVKFltRXdwmet7 DlKM66N6pKAlu/R490LmK7Io
I am trying to make a set of functions of mappings of sender->receiver:
Users == {"jack", "jill", "cindy", "bobby"}
UserSenderSet == [Users -> Users]
This almost does what I want, but we have many functions where sender->receiver are the same person, which is not what I want:
[jack |-> "jack", jill |-> "jack", cindy |-> "jack", bobby |-> "jack"]
How do I go about filtering down to set of functions that don't contain mappings of to themselves?
--
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 view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/c23c1b27-8fd0-40c6-999f-efe151cce811n%40googlegroups.com.