Kedlaya

首先让我们明确计算时间的记号. 我们接下来用 $\tilde O(\bullet)$ 表示忽略 $\log n$ 和 $\log \log q$ 的因子. 因为在计算机代数中考虑的有限域 $\mathbb F_q$ 有可能 $q$ 是非常大的数, 所以计算的过程关于 $\log q$ 的次数也是需要 ......