(a) edge between integral vertices: 240 random points, membership agrees with the rounded-inequality form
(b) splitting an integral vertex of degree 3: 240 random points, membership agrees
Remark 2.5(i) example: single edge uv, u, v integral, b = 1/2, x = (3/10, 3/10): in conv S(G,I)? False
ALL CHECKS PASSED
