“…We are interested in the computation of H * (X(C), Z), where X is a smooth projective variety over k. This can be done effectively, as explained in [Whi57], by embedding X(C) in a Euclidean space, subdividing the Euclidean space into cubes, and intersecting with X(C). When dim X = 2 this has been treated in [Kre10]. When X(C) is isomorphic to a quotient C N /Λ for some N and lattice Λ ⊂ C N this is known and standard.…”