Geometric computation of value set boundaries