I am looking for a computer algebra system that is able to do some of the following (equivalent in theory) things for a smooth projective variety defined over a finite field:
Count the number of points defined over a certain field extension.
Compute the eigenvalues of Frobenius on etale Cohomology.
Compute the Zeta function.