  We present a deterministic polynomial time algorithm for computing the zeta
function of an arbitrary variety of fixed dimension over a finite field of
small characteristic. One consequence of this result is an efficient method for
computing the order of the group of rational points on the Jacobian of a smooth
geometrically connected projective curve over a finite field of small
characteristic.
