For example, I want to find the integral solutions of x*y + y*z + z*x = 7 and x + y + z = 5. One possible solution is [x = 1, y = 1, z = 3], and there are only finitely many. Geometrically, I want to obtain the rational points on the intersection of a quadratic hypersurface and a couple of hyperplanes.