Hi
I was just wondering if there’s a way to assert and then test for a relationship between two varablie in Symbolics, or Julia in general.
Specifically, a game theory payoff table
| | R | W
|R| 0 | b
|W| b-k | b - k/2
where the payoff is to the player on the left. Given that b > k I want to show that
Obviously, this is pretty trivial in this example. But that’s not the point. I can plug in values like so
V(self,other) = payoffTable[self,other]
b = 2
k = 1
R = 1
W = 2
payoffTable = [0 b
b-k b-k/2]
V(R,R) < V(W,R) < V(W,W) <V(R,W)
true
But it would be nice to have a way to assert b > k
instead of inputting values.