Transactions on Visualization and Computer Graphics Topology Verification for Isosurface Extraction