This function returns either a boolean value of true or else a string describing why the outcome cannot be determined. It requires that polytopes be smooth and that the set of stable trees for both weights be nonempty.
i1 : Q = toricQuiver({{0,1},{0,2},{0,3},{1,2},{1,3},{2,3}}); |
i2 : sameChamber({-3,2,-1,2},{-2,1,-2,3}, Q) o2 = true |
The object sameChamber is a function closure.