---------- Forwarded message ---------- From: Nick Alexander <ncalexan...@gmail.com> Date: Wed, Oct 28, 2009 at 10:56 PM Subject: Re: [sage-support] Jacobian Element over HyperElliptic Curves To: William Stein <wst...@gmail.com>, Daniel Ribeiro <dan...@gmail.com>
> (x^2 + 23*x + 15, y + 18*x + 3) > > Which does not seem right, since D was supposed to be represented by > [x**2 + 23 *x +15, 13*x + 28], and > > sage: (18 *x + 3) == (13*x + 28) > False It seems that y + 18*x + 3 == y - (13*x + 28) over GF(31). So this is correct, you're just seeing a different convention -- we're making this a polynomial in F[y][x] that after you substitute in the correct x, you can solve for y. Nick -- William Stein Associate Professor of Mathematics University of Washington http://wstein.org --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---