It looks to me as if this is caused by the recent eclib upgrade. On Sun, 3 Jul 2022, 16:51 Emmanuel Charpentier, < [email protected]> wrote:
> While ptesting an upcoming ticket (irrelevant here), I got two new > permanent errors. The first one is Trac#34029 > <https://trac.sagemath.org/ticket/34029>, whose ix is positively_reviewed. > The second one is new, as far as I can tell : > > charpent@zen-book-flip:/usr/local/sage-9$ sage -t --long --warn-long 205.0 > --random-seed=17841348431377877665902196027003710887 > src/sage/libs/eclib/mwrank.pyx # 1 doctest failed > Running doctests with ID 2022-07-03-17-36-25-d75ea5b2. > Git branch: develop > Git ref: 9.7.beta3 > Running with SAGE_LOCAL='/usr/local/sage-9/local' and > SAGE_VENV='/usr/local/sage-9/local/var/lib/sage/venv-python3.10' > Using > --optional=debian,dot2tex,fricas,gap_packages,libsemigroups,mathics,mathics_scanner,palettable,pint,pip,pysingular,sage,sage_spkg > Features to be detected: > 4ti2,benzene,bliss,buckygen,conway_polynomials,csdp,database_cremona_ellcurve,database_cremona_mini_ellcurve,database_jones_numfield,database_knotinfo,dvipng,gfan,graphviz,imagemagick,jupymake,kenzo,latte_int,lrslib,mcqd,meataxe,msolve,nauty,palp,pandoc,pdf2svg,pdftocairo,phitigra,plantri,polytopes_db,polytopes_db_4d,pynormaliz,python_igraph,rubiks,sage.combinat,sage.geometry.polyhedron,sage.graphs,sage.groups,sage.plot,sage.rings.number_field,sage.rings.padics,sage.rings.real_double,sage.symbolic,sage_numerical_backends_coin,sagemath_doc_html,sphinx,tdlib > Doctesting 1 file. > sage -t --long --warn-long 205.0 > --random-seed=17841348431377877665902196027003710887 > src/sage/libs/eclib/mwrank.pyx > ********************************************************************** > File "src/sage/libs/eclib/mwrank.pyx", line 589, in > sage.libs.eclib.mwrank._mw.__init__ > Failed example: > EQ.search(1) > Expected: > P1 = [0:1:0] is torsion point, order 1 > P1 = [-3:0:1] is generator number 1 > saturating up to 20...Saturation index bound (for points of good > reduction) = 3 > Reducing saturation bound from given value 20 to computed index bound 3 > Checking saturation at [ 2 3 ] > Checking 2-saturation > Points were proved 2-saturated (max q used = 7) > Checking 3-saturation > Points were proved 3-saturated (max q used = 7) > done > P2 = [-2:3:1] is generator number 2 > saturating up to 20...Saturation index bound (for points of good > reduction) = 4 > Reducing saturation bound from given value 20 to computed index bound 4 > Checking saturation at [ 2 3 ] > Checking 2-saturation > possible kernel vector = [1,1] > This point may be in 2E(Q): [14:-52:1] > ...and it is! > Replacing old generator #1 with new generator [1:-1:1] > Reducing index bound from 4 to 2 > Points have successfully been 2-saturated (max q used = 7) > Index gain = 2^1 > done, index = 2. > Gained index 2, new generators = [ [1:-1:1] [-2:3:1] ] > P3 = [-14:25:8] is generator number 3 > saturating up to 20...Saturation index bound (for points of good > reduction) = 3 > Reducing saturation bound from given value 20 to computed index bound 3 > Checking saturation at [ 2 3 ] > Checking 2-saturation > Points were proved 2-saturated (max q used = 11) > Checking 3-saturation > Points were proved 3-saturated (max q used = 13) > done, index = 1. > P4 = [-1:3:1] = -1*P1 + -1*P2 + -1*P3 (mod torsion) > P4 = [0:2:1] = 2*P1 + 0*P2 + 1*P3 (mod torsion) > P4 = [2:13:8] = -3*P1 + 1*P2 + -1*P3 (mod torsion) > P4 = [1:0:1] = -1*P1 + 0*P2 + 0*P3 (mod torsion) > P4 = [2:0:1] = -1*P1 + 1*P2 + 0*P3 (mod torsion) > P4 = [18:7:8] = -2*P1 + -1*P2 + -1*P3 (mod torsion) > P4 = [3:3:1] = 1*P1 + 0*P2 + 1*P3 (mod torsion) > P4 = [4:6:1] = 0*P1 + -1*P2 + -1*P3 (mod torsion) > P4 = [36:69:64] = 1*P1 + -2*P2 + 0*P3 (mod torsion) > P4 = [68:-25:64] = -2*P1 + -1*P2 + -2*P3 (mod torsion) > P4 = [12:35:27] = 1*P1 + -1*P2 + -1*P3 (mod torsion) > Got: > P1 = [0:1:0] is torsion point, order 1 > P1 = [-3:0:1] is generator number 1 > saturating up to 20...Saturation index bound (for points of good > reduction) = 3 > Reducing saturation bound from given value 20 to computed index bound 3 > Tamagawa index primes are [ 2 ] > Checking saturation at [ 2 3 ] > Checking 2-saturation > Points were proved 2-saturated (max q used = 7) > Checking 3-saturation > Points were proved 3-saturated (max q used = 7) > done > P2 = [-2:3:1] is generator number 2 > saturating up to 20...Saturation index bound (for points of good > reduction) = 4 > Reducing saturation bound from given value 20 to computed index bound 4 > Tamagawa index primes are [ 2 ] > Checking saturation at [ 2 3 ] > Checking 2-saturation > possible kernel vector = [1,1] > This point may be in 2E(Q): [14:-52:1] > ...and it is! > Replacing old generator #1 with new generator [1:-1:1] > Reducing index bound from 4 to 2 > Points have successfully been 2-saturated (max q used = 7) > Index gain = 2^1 > done, index = 2. > Gained index 2, new generators = [ [1:-1:1] [-2:3:1] ] > P3 = [-14:25:8] is generator number 3 > saturating up to 20...Saturation index bound (for points of good > reduction) = 3 > Reducing saturation bound from given value 20 to computed index bound 3 > Tamagawa index primes are [ 2 ] > Checking saturation at [ 2 3 ] > Checking 2-saturation > Points were proved 2-saturated (max q used = 11) > Checking 3-saturation > Points were proved 3-saturated (max q used = 13) > done, index = 1. > P4 = [-1:3:1] = -1*P1 + -1*P2 + -1*P3 (mod torsion) > P4 = [0:2:1] = 2*P1 + 0*P2 + 1*P3 (mod torsion) > P4 = [2:13:8] = -3*P1 + 1*P2 + -1*P3 (mod torsion) > P4 = [1:0:1] = -1*P1 + 0*P2 + 0*P3 (mod torsion) > P4 = [2:0:1] = -1*P1 + 1*P2 + 0*P3 (mod torsion) > P4 = [18:7:8] = -2*P1 + -1*P2 + -1*P3 (mod torsion) > P4 = [3:3:1] = 1*P1 + 0*P2 + 1*P3 (mod torsion) > P4 = [4:6:1] = 0*P1 + -1*P2 + -1*P3 (mod torsion) > P4 = [36:69:64] = 1*P1 + -2*P2 + 0*P3 (mod torsion) > P4 = [68:-25:64] = -2*P1 + -1*P2 + -2*P3 (mod torsion) > P4 = [12:35:27] = 1*P1 + -1*P2 + -1*P3 (mod torsion) > ********************************************************************** > 1 item had failures: > 1 of 26 in sage.libs.eclib.mwrank._mw.__init__ > [210 tests, 1 failure, 23.20 s] > ---------------------------------------------------------------------- > sage -t --long --warn-long 205.0 > --random-seed=17841348431377877665902196027003710887 > src/sage/libs/eclib/mwrank.pyx # 1 doctest failed > ---------------------------------------------------------------------- > Total time for all tests: 23.3 seconds > cpu time: 23.2 seconds > cumulative wall time: 23.2 seconds > Features detected for doctesting: > pytest is not installed in the venv, skip checking tests that rely on it > > checking out develop, I reproduced the same problems. These failures are > therefore new develop problems (possibly due to Debian testing evolution) > rather than specific to my ticket. > Advice asked on whether and how to file the problem I believe unreported. > > HTH, > > Le mardi 21 juin 2022 à 13:21:24 UTC+2, Emmanuel Charpentier a écrit : > >> On Debian testing running on core i7 + 16 GB RAM, upgrading 9.7.beta2 to >> 9.7.beta3 gives the permanent failures already reported for 9.7.beta1 >> <https://groups.google.com/g/sage-release/c/TXChuVR6tOo/m/WKwBG-R5AQAJ>, >> as well as the timeout reported by Guillermo >> <https://groups.google.com/g/sage-release/c/JZ5WOz2BNvA/m/rfcUQRGRAwAJ>. >> >> HTH, >> >> Le dimanche 19 juin 2022 à 17:39:44 UTC+2, Volker Braun a écrit : >> >>> As always, you can get the latest beta version from the "develop" git >>> branch. Alternatively, the self-contained source tarball is at >>> http://www.sagemath.org/download-latest.html >>> >>> f8df80820d (tag: 9.7.beta3, trac/develop) Updated SageMath version to >>> 9.7.beta3 >>> b466c8ae02 Trac #33973: Deprecate handling of $...$ in docstrings >>> e79f6ff49a Trac #33966: KnotInfo interface returns wrong braid_notation >>> for the unknot >>> dd0ed537ff Trac #33965: Implement the Khovanov polynomial >>> b912ff4ce1 Trac #33960: add interface to Pari's L-function for genus 2 >>> curves >>> 9721af4be8 Trac #33939: compute ℓ-division fields for elliptic curves >>> over finite fields >>> f89a56bf80 Trac #33876: Make ModularFormsRing.gen_forms returns >>> GradedModularFormElement object >>> 02f0d2d6c0 Trac #33804: bug in conversion from some number fields to SR >>> 954af85f40 Trac #33790: sage.libs.ecl, sage.interfaces.maxima*: Do not >>> use ECL_TMP >>> 89d7b9e31e Trac #33554: Correct the behavior of methods first_coloring >>> and all_graph_colorings >>> b47732deff Trac #33365: Add interface to nauty-genbg (generator of >>> bipartite graphs with given bipartition) >>> 8907ed5040 Trac #33316: Drop support for GCC < 6.3 in Sage 9.7 >>> b96cba51f2 Trac #33829: sage.graphs: Do not use SAGE_TMP in doctests >>> eca52b24ab Trac #33922: Add missing title to conf.py >>> e9bfcd2dd8 Trac #33980: codespell in graphs: fix a few typos >>> 28f70e0932 Trac #31153: Fix latex of elements of multivariate polynomial >>> quotient ring >>> b36c11c5d7 Trac #33983: sage_setup: Add missing dependency >>> 6edac51d8b Trac #33970: Remove a period sneaked in the documentation >>> website >>> 6d60bf357f Trac #33977: fix pycodestyle E306 in geometry and schemes >>> edd7a74ed3 Trac #33976: some pycodestyle fixes in pxd and pxi files >>> b0973afaa7 Trac #33975: get rid of commented old-style prints >>> b3d6a0b8ff Trac #33956: some better .join with iterator inside >>> a33f2df893 Trac #33949: get rid of have_ring option in singular interface >>> ad1c3ac34f Trac #33946: fix pycodestyle E306 in rings and algebras >>> 4942ca958b Trac #33945: fix pycodestyle E306 outside of >>> algebras,rings,graphs,schemes,categories >>> 8dad9ce80f Trac #30683: Nu Tamari >>> 346b3b04a5 Trac #33968: Replace $...$ in docstrings by `...` >>> f793558dd1 Trac #33967: sage -t: Print git commit hash and SAGE_LOCAL, >>> SAGE_VENV >>> 0e48fececd Trac #33963: wrong sign for symbolic Legendre polynomial at 0 >>> 34d562ee2b Trac #33962: wrong sign for value of Legendre polynomial at 0 >>> bd33f87651 Trac #33961: compute square roots modulo powers of two in >>> polynomial time >>> 16af958d67 Trac #33940: enhance maple interface >>> 8d921a4996 Trac #33872: Upgrade memory allocator to 0.1.3 >>> 29499f89e2 Trac #33871: Don't run singular in spkg-configure.m4 when >>> cross compiling >>> 4cc978b96c Trac #33823: sage -t --optional='sage,!FEATURE' >>> 6b6f0cf0f4 Trac #33776: move method distance_graph to graph.py >>> 65e866a5b1 Trac #23443: More Schubert polynomial shenanigans >>> a6e696e91d (tag: 9.7.beta2) Updated SageMath version to 9.7.beta2 >>> >> -- > You received this message because you are subscribed to the Google Groups > "sage-release" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-release/306d60ee-42f0-4d19-93f9-0f68ddccac2dn%40googlegroups.com > <https://groups.google.com/d/msgid/sage-release/306d60ee-42f0-4d19-93f9-0f68ddccac2dn%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "sage-release" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-release/CAD0p0K7b7cQpGyV75_vgHn%2BUXL0vAW5yJgw_ZDASNMicYALVNA%40mail.gmail.com.
