Before revision:   It remains open if the conditions are required for dimension larger than 3.
After revision:  We provide an algorithm for the approximate vertex enumeration problem which is correct in dimension 2 and 3 even if imprecise arithmetic is used. It remains open if the conditions are required for dimension larger than 3.