Ray class fields of global function fields with many rational places
I discuss some algorithms for computing the zeta function of an algebraic variety over a finite field which are based upon rigid cohomology. Two distinct approaches are illustrated with a worked example.