I'd like to be able to compute the matrix of Frobenius action on the de Rham cohomology of a curve in characteristic p. Has this been implemented in SAGE?
I couldn't find anything in the documentation, or googling for papers which compute this. Also, computation of the Hasse Witt Matrix has been implemented.