id,summary,reporter,owner,description,type,status,priority,milestone,component,resolution,keywords,cc,merged,author,reviewer,upstream,work_issues,branch,commit,dependencies,stopgaps
21195,cardinality_exhaustive incorrect for general curves of genus 1,pbruin,,"After #19122, counting points at infinity still needs to be fixed for hyperelliptic curves of genus 1 given by an equation `y^2 + h(x)*y = f(x)` when `h != 0`. Consider the following example (cf. comment:17:ticket:19122):
{{{
def test(p):
S. = GF(p)[]
D = HyperellipticCurve(-z^2 + z, z^2)
return D.count_points_exhaustive()
}}}
Running this for `p = 2` and `p = 3` gives
{{{
sage: test(2)
[4]
sage: test(3)
[4] # or [3], after #19122
}}}
Both answers should be 5.",defect,closed,major,sage-7.4,algebraic geometry,fixed,hyperelliptic curve finite field,jpflori,,Peter Bruin,Jean-Pierre Flori,N/A,,af72dd96a6381aa23f2f7119389e47c920ee4c9a,af72dd96a6381aa23f2f7119389e47c920ee4c9a,#19122,