## sage disagrees with magma for the genus of a curve over number field

Showing 1-3 of 3 messages
 sage disagrees with magma for the genus of a curve over number field Georgi Guninski 9/30/12 1:25 AM For this curve over a number field sage claims genus 10 and magma claims genus 0. I am pretty sure the curve has infinitely many rationals points. sage: pr.=QQ[];K.=NumberField(Z**2-5);Kp.=K[];p=y^10 + (1/2*v - 1/2)*x^3*y^5 + (-3/2*v + 3/2)*x*y^5 + (-1/2*v + 3/2);C=Curve(p);C Affine Curve over Number Field in v with defining polynomial Z^2 - 5 defined by y^10 + (1/2*v - 1/2)*x^3*y^5 + (-3/2*v + 3/2)*x*y^5 + (-1/2*v + 3/2) sage: C.genus() 10 Is this a bug in sage or magma? 5.3 and 4.3 on linux x86_64 Re: sage disagrees with magma for the genus of a curve over number field luisfe 10/1/12 6:23 AM Maple agrees with magma here and says that the genus is one. Moreover, it computes a parametrization of the curveĀ sage: P=(((v + 2)*x^10 + (v - 2))/x^5, ((1/2*v - 3/2))/x^3)sage: p(x=P[0],y=P[1])0The problem seems to be in singular.sage: I = Ideal(p)sage: I.genus()10If one looks at the documentation, p.geometric_genus?? it is said that it only works for prime fields. The documentation could be clearer for genus and I think that the method should raise an exception instead of giving a wrong answer. Re: sage disagrees with magma for the genus of a curve over number field Georgi Guninski 10/1/12 6:47 AM Thank you. magma found parametrization too, so the problem is in sage/singular. (probably you mean "genus zero", not one).