Checking the topology of vector data