A compact algorithm for the intersection and approximation of N -dimensional polytopes