中を見てブロック定義をいじって
有理数体\mathbb{Q}上の楕円曲線E(具体的にはWeierstrass標準形) を有限体k=\mathbb{F}_q (q=p^n pは素数) に還元した際の k-有理点の個数およびFrobeniusのトレースを計算するシステムです
