Timeline for Creating Boolean expressions over a set of indexed variables
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 13, 2016 at 18:44 | comment | added | march | I have posted an alternative. | |
| Mar 13, 2016 at 18:44 | history | edited | march | CC BY-SA 3.0 |
deleted 321 characters in body
|
| Mar 13, 2016 at 18:39 | history | edited | march | CC BY-SA 3.0 |
deleted 321 characters in body
|
| Mar 13, 2016 at 18:39 | comment | added | march |
The thing I always forget about Element is that you can't use it with Lists. Regions and Domains have their own separate implementation (for example, 1 \[Element] {1, 2, 3} doesn't resolve but 1 \[Element] Integers evaluates to True). Therefore, I recommend using the original formulation.
|
|
| Mar 13, 2016 at 18:34 | comment | added | Travis Bemrose |
I get this error FindInstance::elemc: "Unable to resolve the domain or region membership condition v[1]\[Element]{-1,0,1}." when trying And @@ Map[# ∈ {-1, 0, 1} &, Array[v, 10]] inside FindInstance. I made sure to replace the ∈ character in case there was a copy issue. I'm sure if there's a productive way to get results down this route, but nested And / Or are working.
|
|
| Mar 13, 2016 at 18:09 | history | edited | march | CC BY-SA 3.0 |
added 32 characters in body
|
| Mar 13, 2016 at 18:04 | history | answered | march | CC BY-SA 3.0 |