File numerics/src/tools/vertex_extraction.h