Ticket #3674: sage-trac3674new-extra3.patch

a/sage/schemes/elliptic_curves/ell_rational_field.py

@@ -3787 +3787 @@
-            set([2, 3, 4])
-            starting search of remaining points using coefficient bound  6
-            x-coords of extra integral points:
-406, 8, 11, 14, 816, 52, 21, 342
+8, 342, 11, 14, 816, 52, 21, 406
-            Total number of integral points: 18
-
-        It is also possible to not specify mw_base, but then the
@@ -3909 +3909 @@
-                        
-            # We use a naive method when the number of possibilities is small:
-
-or
+and
-                for P in multiples(mw_base[0],N+1):
-                    use_t(P)
-                return xs
@@ -4013 +4013 @@
-            e1,e2,e3 = ei
-            if r >= 2: #preprocessing of mw_base only necessary if rank > 1
-                mw_base = point_preprocessing(mw_base) #at most one point in
-, saved in P_egg
+
-
-        elif disc < 0: # one real component => 1 root in RR (=: e3),
-                       # 2 roots in C (e1,e2)
@@ -4094 +4094 @@
-            m = M.identity_matrix()
-            for i in range(r):
-                m[i, r] = R(c*mw_base_log[i]).round()
-R(c*w1).round()
+max(1,R(c*w1).round()) #ensures that m isn't singular
-    
-            #LLL - implemented in sage - operates on rows not on columns 
-            m_LLL = m.LLL()