Okay, I don't get this failure with my copy of 5.0.1 on my machine and geom.math. So all doctests pass now!
On 16 June 2012 15:30, Martin Albrecht <martinralbre...@googlemail.com> wrote: > 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 -- 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
