Revision history [back]

Koike's Trace Formula states that \begin{equation} \mbox{Tr}((U_p^{\kappa})^n) = - \sum_{0 \leq u < \sqrt{p^n}\ (u,p)=1}H(u^2-4p^n)\frac{\gamma(u)^\kappa}{\gamma(u)^2 - p^n}-1, \end{equation} where $\kappa\in \mathbb{C}_p$, $H(D)$ is the Hurwitz class number of $D$, and $\gamma(u)$ is the unique $p$-adic unit root of the equation $$x^2-ux+p^n=0.$$ Is there an implementation of this formula in sage ?