1
$\begingroup$

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.

  • 0
    In the past my colleagues have used MAGMA to find answers to (at least) the first question.2012-08-30

0 Answers 0