Sage 10.2.beta0 released

[Volker Braun]

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

6695becb762 (tag: 10.2.beta0, github/develop) Updated SageMath version to 10.2.beta0
b1ba78aff83 gh-36140: python-style loops in `partn_ref.data_structures` (partial) + some pep8
c42a5e80b77 gh-36132: Delete .zenodo.json
e38fc5dbec8 gh-36124: fix cardinality, #36119, #36118, #36116
1e6119e8404 gh-36114: using `# needs` in posets folder
3c6a36aac0f gh-36108: some details in quadratic forms
34c505e5f6e gh-36107: using mute variables in combinat
300fd193f2d gh-36106: `sage.crypto`: Update `# needs`, modularization fixes
ce7457f01c4 gh-36103: upgrade msolve to 0.5.0, update interface
a3e6bb2eaba gh-36098: Detect and use system MathJax-3.x
48ef6dfad26 gh-36097: Add additional bindings from NTL to `Polynomial_ZZ_pEX`
53e8cbbe749 gh-36096: add ordered set partitions as supported findstat collection
727a619f369 gh-36094: Height function for projective subvarieties
159a6f98f36 gh-36089: `sage.geometry.polyhedron`: fix doctest error due to modularization
4d1a3920196 gh-36087: using python-style for loops in calculus
92114110a82 gh-36086: using python-style for-loops in modular folder
f6af55cc2e2 gh-36085: some details in coxeter groups
45f69ffd072 gh-36083: build/pkgs/jupyter_core: Update to 4.12.0
f8b07e7d4da gh-36079: fix and activate pycodestyle E301 in pyx files
78852165e21 gh-36078: `sage.{interacts,misc,repl,typeset}`: Update `# needs`, modularization fixes
b99418ff79d gh-36071: Correct typo in class name of `Polynomial_ZZ_pEX` in `.pxd` file
f7e983329e6 gh-36070: `sage.{matrix,modules,probability,stats,quadratic_forms,tensor}`: Update `# needs`, modularization fixes
48a4551106a gh-36067: `sage.{cpython,data_structures,databases,ext,parallel,structure}`: Update `# needs`
3dd31ba4bec gh-36059: Speed up the creation of submatrices of `Matrix_modn_dense_template` matrices
18ad7f8a8f7 gh-36057: `sage.arith`: Update `# needs`
e678d52de3b gh-36053: cython-lint : add note about unused imports
6e19d23532b gh-36050: normaliz: Update to 3.10.1
8f938b705bf gh-36047: New GitHub workflow to continue our images on Docker Hub
aededc693c7 gh-36046: Fix sqrt(sqrt(2)) memory leak in ginac numeric.cpp
8b1f387b845 gh-36041: Implemented two new methods for dynamical semigroups
811ac5974df gh-36030: Implement algebra_containment from Singular (issue #34502)
05ad57b78d9 gh-36018: Fix tests with singular 4.3.2p4
72b41aa6206 gh-36000: New functions `is_chebyshev` and `is_Lattes` for one dimensional projective dynamical systems
a102fbdf2ab gh-35991: Implement Goss polynomials of Drinfeld modules
2e1df5ac0a8 gh-35990: Working MCDS implementation using connectivity constraints
433b855930b gh-35988: Implemented five new operations for dynamical semigroups
c44c89e8d92 gh-35947: Initial implementation of dynamical semigroups
f1866645a05 gh-35945: `sage.categories`: Update `# needs`
e6a0d138f0c gh-35914: Implement cocharacter and primitive Eulerian polynomials for hyperplane arrangements
b4236243f75 gh-35810: Drop support for GCC < 8.4, drop testing of `debian-buster` and `fedora-29`
66ee0ca6692 gh-35743: gc: update to 8.2.4
7b97cfde482 gh-35716: `sage.functions`: Decouple from `sage.symbolic.expression` and `mpmath`, update `# needs`
055a3ea9dc8 gh-35404: Drop support for Python 3.8
fe49240ceb1 gh-35399: libatomic_ops: Update to 7.8.0
76191ac736a gh-35084: build/pkgs/cython: Update to 0.29.36
04232a4672f (tag: 10.1, github/master) Updated SageMath version to 10.1

[Emmanuel Charpentier]

On Debian testing running on core i7 + 16 GB RAM, upgarong 10.1.rc0 to 10.2.beta0 gives three new persistent failures :

charpent@zen-book-flip:/usr/local/sage-10$ sage -t --long --warn-long 216.1 --random-seed=336915508420415526544989948662812522502 src/sage/rings/integer.pyx # 1 doctest failed Running doctests with ID 2023-08-28-17-07-06-89fc36a4. Git branch: develop Git ref: 10.1.beta0-2662-g6695becb76 Running with SAGE_LOCAL='/usr/local/sage-10/local' and SAGE_VENV='/usr/local/sage-10/local/var/lib/sage/venv-python3.11' Using --optional=debian,dot2tex,fricas,gap_jupyter,gap_packages,libsemigroups,msolve,pip,pysingular,saclib,sage,sage_spkg,singular_jupyter Features to be detected: 4ti2,benzene,bliss,buckygen,conway_polynomials,csdp,cvxopt,cvxopt,database_cremona_ellcurve,database_cremona_mini_ellcurve,database_cubic_hecke,database_jones_numfield,database_knotinfo,dvipng,fpylll,gap_package_atlasrep,gap_package_design,gap_package_grape,gap_package_guava,gap_package_hap,gap_package_polycyclic,gap_package_qpa,gap_package_quagroup,gfan,graphviz,imagemagick,ipython,jupymake,kenzo,latte_int,lrcalc_python,lrslib,mcqd,meataxe,mpmath,msolve,nauty,networkx,numpy,palp,pandoc,pdf2svg,pdftocairo,pexpect,phitigra,pillow,plantri,polytopes_db,polytopes_db_4d,pplpy,primecountpy,ptyprocess,pynormaliz,pyparsing,python_igraph,requests,rubiks,sage.combinat,sage.geometry.polyhedron,sage.graphs,sage.groups,sage.libs.ecl,sage.libs.flint,sage.libs.gap,sage.libs.linbox,sage.libs.m4ri,sage.libs.ntl,sage.libs.pari,sage.libs.singular,sage.misc.cython,sage.modular,sage.modules,sage.numerical.mip,sage.plot,sage.rings.complex_double,sage.rings.finite_rings,sage.rings.function_field,sage.rings.number_field,sage.rings.padics,sage.rings.polynomial.pbori,sage.rings.real_double,sage.rings.real_mpfr,sage.sat,sage.schemes,sage.symbolic,sage_numerical_backends_coin,sagemath_doc_html,scipy,singular,sphinx,sympy,tdlib Doctesting 1 file. sage -t --long --warn-long 216.1 --random-seed=336915508420415526544989948662812522502 src/sage/rings/integer.pyx ********************************************************************** File "src/sage/rings/integer.pyx", line 2152, in sage.rings.integer.Integer.__pow__ Warning: Variable 'f' referenced here was set only in doctest marked '# needs sage.symbolic' f(x=3) ********************************************************************** File "src/sage/rings/integer.pyx", line 2157, in sage.rings.integer.Integer.__pow__ Warning: Consider using a block-scoped tag by inserting the line 'sage: # needs sage.symbolic' just before this line to avoid repeating the tag 4 times x, y, z = var('x,y,z') # optional - sage.symbolic ********************************************************************** File "src/sage/rings/integer.pyx", line 3699, in sage.rings.integer.Integer.trial_division Warning: Consider using a block-scoped tag by inserting the line 'sage: # needs sage.libs.pari' just before this line to avoid repeating the tag 6 times n = next_prime(10^6)*next_prime(10^7); n.trial_division() # optional - sage.libs.pari ********************************************************************** File "src/sage/rings/integer.pyx", line 3718, in sage.rings.integer.Integer.trial_division Warning: Consider using a block-scoped tag by inserting the line 'sage: # needs sage.libs.pari' just before this line to avoid repeating the tag 10 times n = next_prime(10^5) * next_prime(10^40); n.trial_division() # optional - sage.libs.pari ********************************************************************** File "src/sage/rings/integer.pyx", line 3907, in sage.rings.integer.Integer.? Warning: Consider using a block-scoped tag by inserting the line 'sage: # needs sage.libs.pari' just before this line to avoid repeating the tag 4 times p = next_prime(10^20) # optional - sage.libs.pari ********************************************************************** File "src/sage/rings/integer.pyx", line 3918, in sage.rings.integer.Integer.? Warning: Consider using a block-scoped tag by inserting the line 'sage: # needs sage.libs.pari' just before this line to avoid repeating the tag 4 times p = next_prime(10^15) # optional - sage.libs.pari ********************************************************************** File "src/sage/rings/integer.pyx", line 4617, in sage.rings.integer.Integer.gamma Warning: Consider using a block-scoped tag by inserting the line 'sage: # needs sage.symbolic' just before this line to avoid repeating the tag 4 times gamma(5) # optional - sage.symbolic ********************************************************************** File "src/sage/rings/integer.pyx", line 5138, in sage.rings.integer.Integer.is_prime_power Warning: Consider using a block-scoped tag by inserting the line 'sage: # needs sage.libs.pari' just before this line to avoid repeating the tag 12 times 17.is_prime_power() # optional - sage.libs.pari ********************************************************************** File "src/sage/rings/integer.pyx", line 5165, in sage.rings.integer.Integer.is_prime_power Warning: Consider using a block-scoped tag by inserting the line 'sage: # needs sage.libs.pari' just before this line to avoid repeating the tag 5 times (3^100).is_prime_power(get_data=True) # optional - sage.libs.pari ********************************************************************** File "src/sage/rings/integer.pyx", line 5799, in sage.rings.integer.Integer.next_probable_prime Warning: Consider using a block-scoped tag by inserting the line 'sage: # needs sage.libs.pari' just before this line to avoid repeating the tag 6 times (-37).next_probable_prime() # optional - sage.libs.pari ********************************************************************** File "src/sage/rings/integer.pyx", line 5993, in sage.rings.integer.Integer.previous_prime_power Warning: Consider using a block-scoped tag by inserting the line 'sage: # needs sage.libs.pari' just before this line to avoid repeating the tag 4 times 3.previous_prime_power() # optional - sage.libs.pari ********************************************************************** File "src/sage/rings/integer.pyx", line 6244, in sage.rings.integer.Integer._magma_init_ Warning: Consider using a block-scoped tag by inserting the line 'sage: # optional - magma' just before this line to avoid repeating the tag 4 times m = 3^(2^20) # optional - magma ********************************************************************** File "src/sage/rings/integer.pyx", line 6654, in sage.rings.integer.Integer._shift_helper Failed example: try: print('Possible error output from gmp', flush=True) 1 << (2^60) except (MemoryError, OverflowError, RuntimeError): pass else: print("Failed to raise exception") Exception raised: Traceback (most recent call last): File "/usr/local/sage-10/src/sage/doctest/forker.py", line 709, in _run self.compile_and_execute(example, compiler, test.globs) File "/usr/local/sage-10/src/sage/doctest/forker.py", line 1144, in compile_and_execute exec(compiled, globs) File "<doctest sage.rings.integer.Integer._shift_helper[8]>", line 3, in <module> Integer(1) << (Integer(2)**Integer(60)) ~~~~~~~~~~~^^~~~~~~~~~~~~~~~~~~~~~~~~~~ File "sage/rings/integer.pyx", line 6735, in sage.rings.integer.Integer.__lshift__ return (<Integer>x)._shift_helper(y, 1) File "sage/rings/integer.pyx", line 6696, in sage.rings.integer.Integer._shift_helper sig_on() FloatingPointError: Floating point exception ********************************************************************** 1 item had failures: 1 of 10 in sage.rings.integer.Integer._shift_helper [1196 tests, 1 failure, 42.41 s] ---------------------------------------------------------------------- sage -t --long --warn-long 216.1 --random-seed=336915508420415526544989948662812522502 src/sage/rings/integer.pyx # 1 doctest failed ---------------------------------------------------------------------- Total time for all tests: 43.4 seconds cpu time: 42.2 seconds cumulative wall time: 42.4 seconds Features detected for doctesting: mpmath,numpy,sage.libs.flint,sage.libs.pari,sage.rings.finite_rings,sage.rings.number_field,sage.rings.padics,sage.symbolic,sympy

Seems genione : gmp may return a new exception…

charpent@zen-book-flip:/usr/local/sage-10$ sage -t --long --warn-long 216.1 --random-seed=336915508420415526544989948662812522502 src/sage/functions/special.py # 2 doctests failed Running doctests with ID 2023-08-28-17-08-53-262a152d. Git branch: develop Git ref: 10.1.beta0-2662-g6695becb76 Running with SAGE_LOCAL='/usr/local/sage-10/local' and SAGE_VENV='/usr/local/sage-10/local/var/lib/sage/venv-python3.11' Using --optional=debian,dot2tex,fricas,gap_jupyter,gap_packages,libsemigroups,msolve,pip,pysingular,saclib,sage,sage_spkg,singular_jupyter Features to be detected: 4ti2,benzene,bliss,buckygen,conway_polynomials,csdp,cvxopt,cvxopt,database_cremona_ellcurve,database_cremona_mini_ellcurve,database_cubic_hecke,database_jones_numfield,database_knotinfo,dvipng,fpylll,gap_package_atlasrep,gap_package_design,gap_package_grape,gap_package_guava,gap_package_hap,gap_package_polycyclic,gap_package_qpa,gap_package_quagroup,gfan,graphviz,imagemagick,ipython,jupymake,kenzo,latte_int,lrcalc_python,lrslib,mcqd,meataxe,mpmath,msolve,nauty,networkx,numpy,palp,pandoc,pdf2svg,pdftocairo,pexpect,phitigra,pillow,plantri,polytopes_db,polytopes_db_4d,pplpy,primecountpy,ptyprocess,pynormaliz,pyparsing,python_igraph,requests,rubiks,sage.combinat,sage.geometry.polyhedron,sage.graphs,sage.groups,sage.libs.ecl,sage.libs.flint,sage.libs.gap,sage.libs.linbox,sage.libs.m4ri,sage.libs.ntl,sage.libs.pari,sage.libs.singular,sage.misc.cython,sage.modular,sage.modules,sage.numerical.mip,sage.plot,sage.rings.complex_double,sage.rings.finite_rings,sage.rings.function_field,sage.rings.number_field,sage.rings.padics,sage.rings.polynomial.pbori,sage.rings.real_double,sage.rings.real_mpfr,sage.sat,sage.schemes,sage.symbolic,sage_numerical_backends_coin,sagemath_doc_html,scipy,singular,sphinx,sympy,tdlib Doctesting 1 file. sage -t --long --warn-long 216.1 --random-seed=336915508420415526544989948662812522502 src/sage/functions/special.py ********************************************************************** File "src/sage/functions/special.py", line 528, in sage.functions.special.EllipticE.__init__ Failed example: [d(N(-pi/2 + x), y) # tol 1e-8 # optional - fricas, needs sage.symbolic for x in range(1, 3) for y in range(-2, 2)] Expected: [0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 5.55111512312578e-17, 0.000000000000000, 0.000000000000000, 0.000000000000000] Got: [0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, -5.55111512312578e-17, 0.000000000000000, 0.000000000000000] Tolerance exceeded in 1 of 8: 5.55111512312578e-17 vs 0.000000000000000, tolerance 1e0 > 1e-8 ********************************************************************** File "src/sage/functions/special.py", line 894, in sage.functions.special.EllipticF.__init__ Failed example: [d(N(-pi/2 + x), y) # tol 1e-8 # optional - fricas, needs sage.symbolic for x in range(1, 3) for y in range(-2,2)] Expected: [0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 5.55111512312578e-17, 0.000000000000000, 0.000000000000000, 0.000000000000000] Got: [0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, -5.55111512312578e-17, 0.000000000000000, 0.000000000000000, 0.000000000000000] Tolerance exceeded in 1 of 8: 5.55111512312578e-17 vs -5.55111512312578e-17, tolerance 3e0 > 1e-8 ********************************************************************** 2 items had failures: 1 of 10 in sage.functions.special.EllipticE.__init__ 1 of 10 in sage.functions.special.EllipticF.__init__ [172 tests, 2 failures, 3.48 s] ---------------------------------------------------------------------- sage -t --long --warn-long 216.1 --random-seed=336915508420415526544989948662812522502 src/sage/functions/special.py # 2 doctests failed ---------------------------------------------------------------------- Total time for all tests: 9.3 seconds cpu time: 1.5 seconds cumulative wall time: 3.5 seconds Features detected for doctesting: mpmath,sage.rings.complex_double,sage.rings.number_field,sage.rings.real_mpfr,sage.symbolic,scipy,sympy

Genuine, and problematic : the error does not make sense (to me, at least…).

charpent@zen-book-flip:/usr/local/sage-10$ sage -t --long --warn-long 216.1 --random-seed=336915508420415526544989948662812522502 src/sage/algebras/quantum_groups/quantum_group_gap.py # 1 doctest failed Running doctests with ID 2023-08-28-17-10-13-299521a7. Git branch: develop Git ref: 10.1.beta0-2662-g6695becb76 Running with SAGE_LOCAL='/usr/local/sage-10/local' and SAGE_VENV='/usr/local/sage-10/local/var/lib/sage/venv-python3.11' Using --optional=debian,dot2tex,fricas,gap_jupyter,gap_packages,libsemigroups,msolve,pip,pysingular,saclib,sage,sage_spkg,singular_jupyter Features to be detected: 4ti2,benzene,bliss,buckygen,conway_polynomials,csdp,cvxopt,cvxopt,database_cremona_ellcurve,database_cremona_mini_ellcurve,database_cubic_hecke,database_jones_numfield,database_knotinfo,dvipng,fpylll,gap_package_atlasrep,gap_package_design,gap_package_grape,gap_package_guava,gap_package_hap,gap_package_polycyclic,gap_package_qpa,gap_package_quagroup,gfan,graphviz,imagemagick,ipython,jupymake,kenzo,latte_int,lrcalc_python,lrslib,mcqd,meataxe,mpmath,msolve,nauty,networkx,numpy,palp,pandoc,pdf2svg,pdftocairo,pexpect,phitigra,pillow,plantri,polytopes_db,polytopes_db_4d,pplpy,primecountpy,ptyprocess,pynormaliz,pyparsing,python_igraph,requests,rubiks,sage.combinat,sage.geometry.polyhedron,sage.graphs,sage.groups,sage.libs.ecl,sage.libs.flint,sage.libs.gap,sage.libs.linbox,sage.libs.m4ri,sage.libs.ntl,sage.libs.pari,sage.libs.singular,sage.misc.cython,sage.modular,sage.modules,sage.numerical.mip,sage.plot,sage.rings.complex_double,sage.rings.finite_rings,sage.rings.function_field,sage.rings.number_field,sage.rings.padics,sage.rings.polynomial.pbori,sage.rings.real_double,sage.rings.real_mpfr,sage.sat,sage.schemes,sage.symbolic,sage_numerical_backends_coin,sagemath_doc_html,scipy,singular,sphinx,sympy,tdlib Doctesting 1 file. sage -t --long --warn-long 216.1 --random-seed=336915508420415526544989948662812522502 src/sage/algebras/quantum_groups/quantum_group_gap.py ********************************************************************** File "src/sage/algebras/quantum_groups/quantum_group_gap.py", line 1581, in sage.algebras.quantum_groups.quantum_group_gap.QuantumGroupModule._latex_ Failed example: latex(S) Expected: \begin{tikzpicture} ... \end{tikzpicture} Got: \begin{tikzpicture}[>=latex,line join=bevel,] %% \node (node_0) at (144.5bp,292.5bp) [draw,draw=none] {$\langle 1 {(1 v_0 \otimes 1 v_0)} \rangle$}; \node (node_1) at (144.5bp,221.5bp) [draw,draw=none] {$\langle 1 {(1 v_0 \otimes F[a1] v_0)} + q^{-1} {(F[a1] v_0 \otimes 1 v_0)} \rangle$}; \node (node_2) at (52.5bp,150.5bp) [draw,draw=none] {$\langle 1 {(F[a1] v_0 \otimes F[a1] v_0)} \rangle$}; \node (node_3) at (236.5bp,150.5bp) [draw,draw=none] {$\langle 1 {(1 v_0 \otimes F[a1+a2] v_0)} + q^{-1} {(F[a1+a2] v_0 \otimes 1 v_0)} \rangle$}; \node (node_4) at (144.5bp,79.5bp) [draw,draw=none] {$\langle 1 {(F[a1] v_0 \otimes F[a1+a2] v_0)} + q^{-1} {(F[a1+a2] v_0 \otimes F[a1] v_0)} \rangle$}; \node (node_5) at (144.5bp,8.5bp) [draw,draw=none] {$\langle 1 {(F[a1+a2] v_0 \otimes F[a1+a2] v_0)} \rangle$}; \draw [blue,->] (node_0) ..controls (144.5bp,273.44bp) and (144.5bp,254.5bp) .. (node_1); \definecolor{strokecol}{rgb}{0.0,0.0,0.0}; \pgfsetstrokecolor{strokecol} \draw (153.0bp,257.0bp) node {$1$}; \draw [blue,->] (node_1) ..controls (119.04bp,201.4bp) and (90.001bp,179.63bp) .. (node_2); \draw (118.0bp,186.0bp) node {$1$}; \draw [red,->] (node_1) ..controls (169.96bp,201.4bp) and (199.0bp,179.63bp) .. (node_3); \draw (209.0bp,186.0bp) node {$2$}; \draw [red,->] (node_2) ..controls (77.964bp,130.4bp) and (107.0bp,108.63bp) .. (node_4); \draw (118.0bp,115.0bp) node {$2$}; \draw [blue,->] (node_3) ..controls (211.04bp,130.4bp) and (182.0bp,108.63bp) .. (node_4); \draw (209.0bp,115.0bp) node {$1$}; \draw [red,->] (node_4) ..controls (144.5bp,60.442bp) and (144.5bp,41.496bp) .. (node_5); \draw (153.0bp,44.0bp) node {$2$}; % \end{tikzpicture} ********************************************************************** 1 item had failures: 1 of 6 in sage.algebras.quantum_groups.quantum_group_gap.QuantumGroupModule._latex_ [537 tests, 1 failure, 10.13 s] ---------------------------------------------------------------------- sage -t --long --warn-long 216.1 --random-seed=336915508420415526544989948662812522502 src/sage/algebras/quantum_groups/quantum_group_gap.py # 1 doctest failed ---------------------------------------------------------------------- Total time for all tests: 10.4 seconds cpu time: 9.1 seconds cumulative wall time: 10.1 seconds Features detected for doctesting: gap_package_quagroup

(Probably) cosmetic : the Latex code is (slightly) more verbose…

Two other permanent failures were alreadu reported for 10.1.rc0 :

sage -t --long --warn-long 216.1 --random-seed=336915508420415526544989948662812522502 src/sage/combinat/posets/posets.py # 1 doctest failed sage -t --long --warn-long 216.1 --random-seed=336915508420415526544989948662812522502 src/sage/ext/memory.pyx # 1 doctest failed

And give the same errors.

HTH,

​

[david....@gmail.com]

See #36006 for the doctest error in `src/sage/rings/integer.pyx`.

See #36149 for the doctest error in `src/sage/algebras/quantum_groups/quantum_group_gap.py`.

Best,

David.