Hi again, On 11 June 2012 14:47, Martin Albrecht <martinralbre...@googlemail.com> wrote: > Update, we are down to these doctest failures: > > 1) File > "/opt/sage-5.0-linbox/devel/sage/sage/tests/french_book/numbertheory.py", > line 43: > sage: [r for r in R] > Expected: > [0, 2*x, x + 1, x + 2, 2, x, 2*x + 2, 2*x + 1, 1] > Got: > [0, x, x + 1, 2*x + 1, 2, 2*x, 2*x + 2, x + 2, 1]
Okay, going ahead and changing this. I pinged the authors of said book. > 2) File > "/opt/sage-5.0-linbox/devel/sage-main/sage/schemes/hyperelliptic_curves/jacobian_morphism.py", > line 292: > sage: Q = J(H.lift_x(F(a+1))); Q > Expected: > (x + 6*a + 6, y + 2) > Got: > (x + 6*a + 6, y + 2*a) The trouble is here: sage: F.<a> = GF(7^2, 'a') sage: P.<x> = PolynomialRing(F) sage: f = x^7 + x^2 + a sage: H = HyperellipticCurve(f, 2*x) sage: H.lift_x(a+1) # old Givaro (a + 1 : 5 : 1) sage: H.lift_x(a+1) # new Givaro (a + 1 : 5*a : 1) Both are correct: sage:H.lift_x(a+1,all=True) [(a + 1 : 5*a : 1), (a + 1 : 5 : 1)] So is it okay if I change this to the new behaviour? We should de-randomise this at some point. > 3) File > "/opt/sage-5.0-linbox/devel/sage/sage/schemes/hyperelliptic_curves/hyperelliptic_finite_field.py", > line 175: > sage: C._points_fast_sqrt() > Exception raised: > Traceback (most recent call last): > ... > TypeError: Coordinates [a + 1, 0, 1] do not define a point on > Hyperelliptic Curve over Finite Field in a of size 3^2 defined by y^2 > + (x^2 + a)*y = x^7 + 2 > > Could someone familiar with the code weight in? I haven't looked into this one yet. -- name: Martin Albrecht _pgp: http://pgp.mit.edu:11371/pks/lookup?op=get&search=0x8EF0DC99 _otr: 47F43D1A 5D68C36F 468BAEBA 640E8856 D7951CCF _www: http://martinralbrecht.wordpress.com _jab: martinralbre...@jabber.ccc.de -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
