%I #12 Oct 02 2023 01:42:21
%S 6,10,18,33,53,97,172,321,603,1153,2227,4353,8553,16897,33491,66561,
%T 132519,264193,527183,1052673,2102943,4202497,8400192,16793601,
%U 33577603,67141633,134264067,268500993,536963592,1073872897,2147669011,4295229441,8590305319,17180393473,34360479823
%N Maximum number of rational points on a smooth absolutely irreducible projective curve of genus 2 over the field F_2^n.
%D J. W. P. Hirschfeld, Linear codes and algebraic curves, pp. 35-53 of F. C. Holroyd and R. J. Wilson, editors, Geometrical Combinatorics. Pitman, Boston, 1984.
%D J.-P. Serre, Sur le nombre des points rationnels d'une courbe algébrique sur un corps fini. C. R. Acad. Sci. Paris Ser. I Math. 296 (1983), no. 9, 397-402.
%H Robin Visser, <a href="/A169873/b169873.txt">Table of n, a(n) for n = 1..3000</a>
%H Gerard van der Geer et al., <a href="http://www.manypoints.org">Tables of curves with many points</a>
%H Gerard van der Geer and Marcel van der Vlugt, <a href="https://doi.org/10.1090/S0025-5718-99-01143-6">Tables of curves with many points</a>, Math. Comp. 69 (2000) 797-810.
%o (Sage)
%o def a(n):
%o if n==2: return 10
%o elif (n%2 == 0): return 2^n + 1 + 2^(n/2+2)
%o elif ((floor(2^(n/2+1))%2 == 0) or (2^n-1).is_square()
%o or (4*2^n-3).is_square() or (4*2^n-7).is_square()):
%o if (frac(2^(n/2+1)) > ((sqrt(5)-1)/2)): return 2^n + 2*floor(2^(n/2+1))
%o else: return 2^n + 2*floor(2^(n/2+1)) - 1
%o else: return 2^n + 1 + 2*floor(2^(n/2+1)) # _Robin Visser_, Oct 01 2023
%Y Cf. A005525, A169869-A169883.
%K nonn
%O 1,1
%A _N. J. A. Sloane_, Jul 05 2010
%E More terms from _Robin Visser_, Oct 01 2023
|