problem defining a set

39 views

Skip to first unread message

unread,

Oct 4, 2022, 9:41:54 AM10/4/22

to tlaplus

Hello. I'm trying to define a set like this

{ a + b : a \in 0..2, b \in 0..a }

I know it's wrong, because a in b \in 0..a is unknown, but how could I do it in another way?

unread,

Oct 4, 2022, 10:02:36 AM10/4/22

to tlaplus

UNION {{ a + b : b \in 0..a}: a \in 0..2}

unread,

Oct 4, 2022, 10:07:45 AM10/4/22

to tlaplus

Elegant, thank you!

Reply all

Reply to author

Forward

0 new messages