find the rational points on a variety