Sage 10.7.beta3 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

94baf41dcd6 (tag: 10.7.beta3, github/develop, github/HEAD) Updated SageMath version to 10.7.beta3
19e94c2106f gh-40065: patching gfan
6c97889ee9d gh-40063: avoid using bytes_to_str in combinat
8c35ad825bb gh-40061: avoid using bytes_to_str in gperftools
1a26a8cd1c3 gh-40060: use pathlib and decode in Kohel database
97993c4d281 gh-40059: add extra time tolerance to a doctest in `src/sage/doctest/util.py`
01b90717a78 gh-40049: Replace dead HTTP links in docs
7f9b102ff55 gh-40048: Fix primes_of_bounded_norm for noninteger entries
bbf4ff78b04 gh-40046: Precision issue in the normalization of a Tate series
4e1881bb44e gh-40044: Remove Pipfiles
01c3b56a5f9 gh-40043: Clean mut type
44c37fdec05 gh-40038: Meson: build on recent Fedora
d42a0a95ded gh-40036: Fix Generalized Petersen graph name and update others to f-string syntax
c46e0a2ea15 gh-40033: Singular 4.4.1 + Flint 3.3.2
1339b2f4c85 gh-40032: various small fixes, some after ruff
d49fe120903 gh-40031: fix E228 in pyx in matrix
c5c7d0b4646 gh-40027: fix pep E228 in all cython files in rings
15a83e15e37 gh-40026: just a few pep8 details
65116a56245 gh-40025: Follow the PR #39990, revert "src/doc/zh/**/conf.py: Fix handling of tags"
aa550b17fd8 gh-40024: implement naive default inverse methods for finite monoids
1f08fbd9605 gh-40022: clean error messages in algebras
c9696b1c86c gh-40014: set correct default algorithm for the diameter of (un)weighted graphs
d3f7beb6f6c gh-40010: using doi when possible
5ec4fd5950f gh-40009: change some links to https
aca08c051be gh-40007: Fixed issue in CRT_vectors where moduli are not allowed to be coprime.
b0ff52c0f78 gh-40006: some typos
50bb6e66b7c gh-40002: fix some typos in various places
31fd52a6493 gh-40001: Remove giac as dependency, and add sagemath_giac as optional dependency
75811ada1d2 gh-39999: handle permutations in S_n with n > 2^16
d8d41569fc3 gh-39997: Run python3 directly instead of `sage -python` in sage/tests/startup.py
671ebbaed44 gh-39996: Always use python to run the pexpect interface
97844f4bde1 gh-39990: Remove ability to conditionalize parts of the documentation
1e5ca09da01 gh-39988: Adding an implementation of the Abreu-Nigro symmetric functions
ee466f0b088 gh-39986: fix: log as method gives symbolic output for non positive base
725c4ed37a5 gh-39985: linbox patches for gcc-15 and Apple clang-17
4719fe004f9 gh-39978: Added a bandwidth feature
fa4855ffe3a gh-39977: allow gcc-15 from the system
e11866d48a6 gh-39948: fix enumeration of implicitly finite sets of partitions
4676554b040 gh-39943: remove patch spkg
d5eef25bb4f gh-39929: Add and update some conda.txt files
c4160560117 gh-39924: add parameter immutable to methods in `src/sage/graphs/graph_list.py`
10f04739395 gh-39923: add parameter immutable to GraphQuery `src/sage/graphs/graph_database.py`
86a0d446b19 gh-39837: Richcmp for pseudomorphisms
4dfd788a8ba gh-39812: Adds limit(expr, v, a) syntax
3ebe0a6c548 gh-39805: Changed calculate_voronoi_cell to use the orthogonal complement as it's artificial points.
ada990b41ee gh-39633: added as_tuples as an optional argument to Combinations to facilitate hashing in Combination objects
c05f305a452 gh-39520: move is_field from Ring to Rings
345329e8a6d gh-39478: use decomposition into biconnected components in Gomory-Hu tree
e9d837adfbd gh-39355: p-typical Witt vectors
d16eb00fad1 gh-38848: Adding a tikz method to FinitePoset class
b39765903dc gh-38493: compute endomorphism orders for elliptic curves over finite fields (rank-2 case)
7888c42db95 (tag: 10.7.beta2) Updated SageMath version to 10.7.beta2

[Emmanuel Charpentier]

On Debian testing running on Ryzen 9 + 64 GB RAM, upgrading 10.7.beta0 to 10.7.beta4 and running ptestlong gives three permanen(t failures already reported :

sage -t --long --warn-long 30.0 --random-seed=115690044797514869384261998212648840857 src/sage/libs/gap/element.pyx # Killed due to segmentation fault sage -t --long --warn-long 30.0 --random-seed=115690044797514869384261998212648840857 src/sage/coding/linear_code.py # 4 doctests failed sage -t --long --warn-long 30.0 --random-seed=115690044797514869384261998212648840857 src/sage/rings/real_mpfr.pyx # 1 doctest failed

and a new one :

sage -t --long --warn-long 30.0 --random-seed=115690044797514869384261998212648840857 src/sage/calculus/calculus.py # 1 doctest failed

Re-running it :

charpent@brique:/usr/local/sage-10$ sage -t --long --warn-long 30.0 --random-seed=115690044797514869384261998212648840857 src/sage/calculus/calculus.py # 1 doctest failed Running doctests with ID 2025-05-13-17-27-23-7a9621a9. Git branch: develop Git ref: 10.6.beta7-1649-g94baf41dcd6-dirty Running with SAGE_LOCAL='/usr/local/sage-10/local' and SAGE_VENV='/usr/local/sage-10/local/var/lib/sage/venv-python3.13' Using --optional=debian,dot2tex,fricas,gap_packages,giac,libsemigroups,pip,pysingular,sage,sage_spkg,singular_jupyter Features to be detected: 4ti2,SAGE_SRC,benzene,bliss,buckygen,conway_polynomials,coxeter3,csdp,cvxopt,cvxopt,database_cremona_ellcurve,database_cremona_mini_ellcurve,database_cubic_hecke,database_ellcurves,database_graphs,database_jones_numfield,database_knotinfo,dot2tex,dvipng,ecm,fpylll,fricas,gap_package_atlasrep,gap_package_design,gap_package_grape,gap_package_guava,gap_package_hap,gap_package_polenta,gap_package_polycyclic,gap_package_qpa,gap_package_quagroup,gfan,giac,glucose,graphviz,imagemagick,info,ipython,jmol,jupymake,jupyter_sphinx,kenzo,kissat,latte_int,lrcalc_python,lrslib,mathics,matroid_database,mcqd,meataxe,meson_editable,mpmath,msolve,nauty,networkx,numpy,palp,pandoc,pdf2svg,pdftocairo,pexpect,phitigra,pillow,plantri,polytopes_db,polytopes_db_4d,pplpy,primecountpy,ptyprocess,pycosat,pycryptosat,pynormaliz,pyparsing,python_igraph,requests,rpy2,rubiks,sage.combinat,sage.geometry.polyhedron,sage.graphs,sage.groups,sage.libs.braiding,sage.libs.ecl,sage.libs.flint,sage.libs.gap,sage.libs.giac,sage.libs.homfly,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,sirocco,sloane_database,sphinx,symengine_py,sympy,tdlib,threejs,topcom Doctesting 1 file. sage -t --long --warn-long 30.0 --random-seed=115690044797514869384261998212648840857 src/sage/calculus/calculus.py ********************************************************************** File "src/sage/calculus/calculus.py", line 1395, in sage.calculus.calculus.limit Failed example: (x / (x+2^x+cos(x))).limit(x=-infinity, algorithm='fricas') # optional - fricas Exception raised: Traceback (most recent call last): File "/usr/local/sage-10/local/var/lib/sage/venv-python3.13/lib/python3.13/site-packages/sage/interfaces/expect.py", line 1518, in __init__ self._name = parent._create(value, name=name) ~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^ File "/usr/local/sage-10/local/var/lib/sage/venv-python3.13/lib/python3.13/site-packages/sage/interfaces/interface.py", line 520, in _create self.set(name, value) ~~~~~~~~^^^^^^^^^^^^^ File "/usr/local/sage-10/local/var/lib/sage/venv-python3.13/lib/python3.13/site-packages/sage/interfaces/fricas.py", line 681, in set self._check_errors(value, output) ~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^ File "/usr/local/sage-10/local/var/lib/sage/venv-python3.13/lib/python3.13/site-packages/sage/interfaces/fricas.py", line 574, in _check_errors raise RuntimeError("An error occurred when FriCAS evaluated '%s':\n%s" % (line, output)) RuntimeError: An error occurred when FriCAS evaluated '((%minusInfinity)::EXPR INT)': Cannot convert the value from type OrderedCompletion(Integer) to Expression(Integer) . During handling of the above exception, another exception occurred: Traceback (most recent call last): File "/usr/local/sage-10/local/var/lib/sage/venv-python3.13/lib/python3.13/site-packages/sage/doctest/forker.py", line 730, in _run self.compile_and_execute(example, compiler, test.globs) ~~~~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ File "/usr/local/sage-10/local/var/lib/sage/venv-python3.13/lib/python3.13/site-packages/sage/doctest/forker.py", line 1154, in compile_and_execute exec(compiled, globs) ~~~~^^^^^^^^^^^^^^^^^ File "<doctest sage.calculus.calculus.limit[56]>", line 1, in <module> (x / (x+Integer(2)**x+cos(x))).limit(x=-infinity, algorithm='fricas') # optional - fricas ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ File "sage/symbolic/expression.pyx", line 13301, in sage.symbolic.expression.Expression.limit (build/cythonized/sage/symbolic/expression.cpp:120492) return limit(self, *args, **kwds) File "/usr/local/sage-10/local/var/lib/sage/venv-python3.13/lib/python3.13/site-packages/sage/calculus/calculus.py", line 1614, in limit eq = fricas.equation(v._fricas_(), a._fricas_()) ~~~~~~~~~~^^ File "sage/structure/sage_object.pyx", line 793, in sage.structure.sage_object.SageObject._fricas_ (build/cythonized/sage/structure/sage_object.c:10438) return self._interface_(G) File "sage/symbolic/expression.pyx", line 1194, in sage.symbolic.expression.Expression._interface_ (build/cythonized/sage/symbolic/expression.cpp:46826) return super()._interface_(I) File "sage/structure/sage_object.pyx", line 723, in sage.structure.sage_object.SageObject._interface_ (build/cythonized/sage/structure/sage_object.c:8223) X = I(s) File "/usr/local/sage-10/local/var/lib/sage/venv-python3.13/lib/python3.13/site-packages/sage/interfaces/interface.py", line 299, in __call__ return cls(self, x, name=name) File "/usr/local/sage-10/local/var/lib/sage/venv-python3.13/lib/python3.13/site-packages/sage/interfaces/expect.py", line 1523, in __init__ raise TypeError(*x.args) TypeError: An error occurred when FriCAS evaluated '((%minusInfinity)::EXPR INT)': Cannot convert the value from type OrderedCompletion(Integer) to Expression(Integer) . ********************************************************************** 1 item had failures: 1 of 103 in sage.calculus.calculus.limit [501 tests, 1 failure, 5.15s wall] ---------------------------------------------------------------------- sage -t --long --warn-long 30.0 --random-seed=115690044797514869384261998212648840857 src/sage/calculus/calculus.py # 1 doctest failed ---------------------------------------------------------------------- Total time for all tests: 10.2 seconds cpu time: 6.3 seconds cumulative wall time: 5.2 seconds Features detected for doctesting: sage.plot

HTH,

​

[axio...@yahoo.de]

could you check whether this worked in 10.7.beta0?

There was a change to calculus.py, https://github.com/sagemath/sage/pull/39812, but I do not see how this could cause the problem.  It might also be a change in FriCAS.

Martin

[axio...@yahoo.de]

Oh, I see it now.  It is this addition:

    # Ensuring a is a symbolic expression

    if not isinstance(a, Expression):
        a = SR(a)

The problem is that infinities are not elements of "Expression Integer" in FriCAS.  I would say that this is really a bug in the SageMath - FriCAS interface.  More precisely,

sage: SR(oo)._fricas_()

should work.

Martin

[axio...@yahoo.de]

https://github.com/sagemath/sage/pull/40102