pub fn count_curve_fp(f: &[BigInt], p: &BigInt, inf: i64) -> i64
#{(x,y) ∈ 𝔽_p² : y² = f(x)} + inf — the 𝔽_p-point count of y² = f(x) (inf = points at infinity).
#{(x,y) ∈ 𝔽_p² : y² = f(x)} + inf
𝔽_p
y² = f(x)
inf