Merge branch 'develop' into expm-tolerance

.github/workflows/build.yml

@@ -442,8 +442,11 @@ jobs:
         if: (success() || failure()) && steps.container.outcome == 'success'
         uses: actions/upload-artifact@v4
         with:
+          # The path .coverage is a directory that contains the combined coverage
+          # data file .coverage, which is a hidden file because of the leading dot
           name: coverage-${{ steps.copy-coverage.outputs.tests_id }}
           path: .coverage
+          include-hidden-files: true
 
   coverage-report:
     runs-on: ubuntu-latest
@@ -530,11 +533,11 @@ jobs:
       # Combining
 
       - name: Download coverage artifacts
+        if: (success() || failure()) && steps.container.outcome == 'success'
         uses: actions/download-artifact@v4
         with:
           path: .coverage
           pattern: coverage-*
-        if: (success() || failure()) && steps.container.outcome == 'success'
 
       - name: Coverage report
         if: (success() || failure()) && steps.container.outcome == 'success'

CITATION.cff

@@ -4,8 +4,8 @@ title: SageMath
 abstract: SageMath is a free open-source mathematics software system.
 authors:
 - name: "The SageMath Developers"
-version: 10.5.beta4
+version: 10.5.beta5
 doi: 10.5281/zenodo.8042260
-date-released: 2024-09-15
+date-released: 2024-09-22
 repository-code: "https://github.com/sagemath/sage"
 url: "https://www.sagemath.org/"

VERSION.txt

@@ -1 +1 @@
-SageMath version 10.5.beta4, Release Date: 2024-09-15
+SageMath version 10.5.beta5, Release Date: 2024-09-22

build/pkgs/configure/checksums.ini

@@ -1,3 +1,3 @@
 tarball=configure-VERSION.tar.gz
-sha1=d2f8c0bc6c40a0e3e8f7cb0deebee5e7bc7da501
-sha256=cde422cec1dc104f4f4b1369167a17cc77519186180bfc14322d078881581c50
+sha1=2cdffd348b8a4de62b51e1f6c37a7d414004c09e
+sha256=273c37842eedefc3575e34bb14819ab3738a32c39ae634f2342bb50baa740c60

build/pkgs/configure/package-version.txt

@@ -1 +1 @@
-27fce1faa78ef19b8c43287016f0acbdf0fa169a
+9b58ceaa68960b38142f27fdfc04373301da4e46

build/pkgs/sage_conf/version_requirements.txt

@@ -1,2 +1,2 @@
 # This file is updated on every release by the sage-update-version script
-sage-conf ~= 10.5b4
+sage-conf ~= 10.5b5

build/pkgs/sage_docbuild/version_requirements.txt

@@ -1,2 +1,2 @@
 # This file is updated on every release by the sage-update-version script
-sage-docbuild ~= 10.5b4
+sage-docbuild ~= 10.5b5

build/pkgs/sage_setup/version_requirements.txt

@@ -1,2 +1,2 @@
 # This file is updated on every release by the sage-update-version script
-sage-setup ~= 10.5b4
+sage-setup ~= 10.5b5

build/pkgs/sage_sws2rst/version_requirements.txt

@@ -1,2 +1,2 @@
 # This file is updated on every release by the sage-update-version script
-sage-sws2rst ~= 10.5b4
+sage-sws2rst ~= 10.5b5

build/pkgs/sagelib/version_requirements.txt

@@ -1,2 +1,2 @@
 # This file is updated on every release by the sage-update-version script
-sagemath-standard ~= 10.5b4
+sagemath-standard ~= 10.5b5

build/pkgs/sagemath_bliss/version_requirements.txt

@@ -1,2 +1,2 @@
 # This file is updated on every release by the sage-update-version script
-sagemath-bliss ~= 10.5b4
+sagemath-bliss ~= 10.5b5

build/pkgs/sagemath_categories/version_requirements.txt

@@ -1,2 +1,2 @@
 # This file is updated on every release by the sage-update-version script
-sagemath-categories ~= 10.5b4
+sagemath-categories ~= 10.5b5

build/pkgs/sagemath_coxeter3/version_requirements.txt

@@ -1,2 +1,2 @@
 # This file is updated on every release by the sage-update-version script
-sagemath-coxeter3 ~= 10.5b4
+sagemath-coxeter3 ~= 10.5b5

build/pkgs/sagemath_environment/version_requirements.txt

@@ -1,2 +1,2 @@
 # This file is updated on every release by the sage-update-version script
-sagemath-environment ~= 10.5b4
+sagemath-environment ~= 10.5b5

build/pkgs/sagemath_mcqd/version_requirements.txt

@@ -1,2 +1,2 @@
 # This file is updated on every release by the sage-update-version script
-sagemath-mcqd ~= 10.5b4
+sagemath-mcqd ~= 10.5b5

build/pkgs/sagemath_meataxe/version_requirements.txt

@@ -1,2 +1,2 @@
 # This file is updated on every release by the sage-update-version script
-sagemath-meataxe ~= 10.5b4
+sagemath-meataxe ~= 10.5b5

build/pkgs/sagemath_objects/version_requirements.txt

@@ -1,2 +1,2 @@
 # This file is updated on every release by the sage-update-version script
-sagemath-objects ~= 10.5b4
+sagemath-objects ~= 10.5b5

build/pkgs/sagemath_repl/version_requirements.txt

@@ -1,2 +1,2 @@
 # This file is updated on every release by the sage-update-version script
-sagemath-repl ~= 10.5b4
+sagemath-repl ~= 10.5b5

build/pkgs/sagemath_sirocco/version_requirements.txt

@@ -1,2 +1,2 @@
 # This file is updated on every release by the sage-update-version script
-sagemath-sirocco ~= 10.5b4
+sagemath-sirocco ~= 10.5b5

build/pkgs/sagemath_tdlib/version_requirements.txt

@@ -1,2 +1,2 @@
 # This file is updated on every release by the sage-update-version script
-sagemath-tdlib ~= 10.5b4
+sagemath-tdlib ~= 10.5b5

m4/pyproject_toml_metadata.m4

@@ -17,10 +17,12 @@ classifiers = [
     "Programming Language :: Python :: Implementation :: CPython",
     "Topic :: Scientific/Engineering :: Mathematics",
 ]
-urls = {download = "https://doc.sagemath.org/html/en/installation/index.html",
-        "release notes" = "https://github.com/sagemath/sage/releases",
-        source = "https://github.com/sagemath/sage",
-        documentation = "https://doc.sagemath.org",
-        homepage = "https://www.sagemath.org",
-        tracker = "https://github.com/sagemath/sage/issues"}
 requires-python = ">=3.9, <3.13"
+
+[project.urls]
+download = "https://doc.sagemath.org/html/en/installation/index.html"
+"release notes" = "https://github.com/sagemath/sage/releases"
+source = "https://github.com/sagemath/sage"
+documentation = "https://doc.sagemath.org"
+homepage = "https://www.sagemath.org"
+tracker = "https://github.com/sagemath/sage/issues"

pkgs/sage-conf/VERSION.txt

@@ -1 +1 @@
-10.5.beta4
+10.5.beta5

pkgs/sage-conf_conda/VERSION.txt

@@ -1 +1 @@
-10.5.beta4
+10.5.beta5

pkgs/sage-conf_pypi/VERSION.txt

@@ -1 +1 @@
-10.5.beta4
+10.5.beta5

pkgs/sage-docbuild/VERSION.txt

@@ -1 +1 @@
-10.5.beta4
+10.5.beta5

pkgs/sage-setup/VERSION.txt

@@ -1 +1 @@
-10.5.beta4
+10.5.beta5

pkgs/sage-sws2rst/VERSION.txt

@@ -1 +1 @@
-10.5.beta4
+10.5.beta5

pkgs/sagemath-bliss/VERSION.txt

@@ -1 +1 @@
-10.5.beta4
+10.5.beta5

pkgs/sagemath-categories/VERSION.txt

@@ -1 +1 @@
-10.5.beta4
+10.5.beta5

pkgs/sagemath-coxeter3/VERSION.txt

@@ -1 +1 @@
-10.5.beta4
+10.5.beta5

pkgs/sagemath-environment/VERSION.txt

@@ -1 +1 @@
-10.5.beta4
+10.5.beta5

pkgs/sagemath-mcqd/VERSION.txt

@@ -1 +1 @@
-10.5.beta4
+10.5.beta5

pkgs/sagemath-meataxe/VERSION.txt

@@ -1 +1 @@
-10.5.beta4
+10.5.beta5

pkgs/sagemath-objects/VERSION.txt

@@ -1 +1 @@
-10.5.beta4
+10.5.beta5

pkgs/sagemath-repl/VERSION.txt

@@ -1 +1 @@
-10.5.beta4
+10.5.beta5

pkgs/sagemath-sirocco/VERSION.txt

@@ -1 +1 @@
-10.5.beta4
+10.5.beta5

pkgs/sagemath-tdlib/VERSION.txt

@@ -1 +1 @@
-10.5.beta4
+10.5.beta5

src/VERSION.txt

@@ -1 +1 @@
-10.5.beta4
+10.5.beta5

src/bin/sage-version.sh

@@ -4,6 +4,6 @@
 # which stops "setup.py develop" from rewriting it as a Python file.
 :
 # This file is auto-generated by the sage-update-version script, do not edit!
-SAGE_VERSION='10.5.beta4'
-SAGE_RELEASE_DATE='2024-09-15'
-SAGE_VERSION_BANNER='SageMath version 10.5.beta4, Release Date: 2024-09-15'
+SAGE_VERSION='10.5.beta5'
+SAGE_RELEASE_DATE='2024-09-22'
+SAGE_VERSION_BANNER='SageMath version 10.5.beta5, Release Date: 2024-09-22'

src/doc/en/reference/references/index.rst

@@ -1443,6 +1443,11 @@ REFERENCES:
              for closed Riemannian manifolds*, Ann. of Math. (2) 45 (1944),
              747–752.
 
+.. [CHNP2020] Kieran Clancy, Michael Haythorpe, Alex Newcombe and Ed Pegg Jr,
+              *There Are No Cubic Graphs on 26 Vertices with Crossing Number 10
+              or 11*, Graphs and Combinatorics 36, pages: 1713 -- 1721, (2020),
+              :doi:`10.1007/s00373-020-02204-6`.
+
 .. [CP2023] \M. Cati and D.V. Pasechnik.
             *Implementing Hadamard Matrices in SageMath*.
             Preprint, :arxiv:`2306.16812`, (2023).
@@ -1700,6 +1705,10 @@ REFERENCES:
             bi-matrix
             games*. http://vknight.org/unpeudemath/code/2015/06/25/on_testing_degeneracy_of_games/ (2015)
 
+.. [CKWL2019] Marcelo H. de Carvalho, Nishad Kothari, Xiumei Wang and Yixun
+              Linc. *Birkhoff-von Neumann graphs that are PM-compact*. 2019.
+              :doi:`10.48550/arXiv.1807.07339`.
+
 .. [CL1996] Chartrand, G. and Lesniak, L.: *Graphs and Digraphs*.
             Chapman and Hall/CRC, 1996.
 
@@ -1716,12 +1725,20 @@ REFERENCES:
             Yokonuma-Hecke algebras and the HOMFLYPT
             polynomial*. (2015) :arxiv:`1204.1871v4`.
 
+.. [CL2023] Xavier Caruso and Antoine Leudière.
+            *Algorithms for computing norms and characteristic polynomials on general Drinfeld modules*, (2023) :arxiv:`2307.02879`.
+
 .. [Cle1872] Alfred Clebsch, *Theorie der binären algebraischen Formen*,
              Teubner, 1872.
 
 .. [CLG1997] Frank Celler and C. R. Leedham-Green,
              *Calculating the Order of an Invertible Matrix*, 1997
 
+.. [CLM2006] Marcelo H. de Carvalho, Cláudio L. Lucchesi and U.S.R. Murty,
+             *How to build a brick*, Discrete Mathematics, Volume 306,
+             Issues 19--20, Pages 2383--2410,ISSN 0012--365X, (2006),
+             :doi:`10.1016/j.disc.2005.12.032`.
+
 .. [CLRS2001] Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest
               and Clifford Stein, *Section 22.4: Topological sort*,
               Introduction to Algorithms (2nd ed.), MIT Press and
@@ -2618,6 +2635,11 @@ REFERENCES:
             Wehler K3 Surfaces over finite fields*. New Zealand Journal
             of Mathematics 45 (2015), 19–31.
 
+.. [FiLi2001] Ilse Fischer and Charles H.C. Little, *A Characterisation of
+              Pfaffian Near Bipartite Graphs*, Journal of Combinatorial Theory,
+              Series B, vol. 82, issue 2, (2001), pages: 175 -- 222, ISSN:
+              0095 -- 8956, :doi:`10.1006/jctb.2000.2025`.
+
 .. [Fil2017] Ivana Filipan, *An Invitation to Combinatorial Tropical Geometry*.
              Conference: 1st Croatian Combinatorial Days. 2017.
              :doi:`10.5592/CO/CCD.2016.05`.
@@ -2814,6 +2836,10 @@ REFERENCES:
 .. [Gek1991] \E.-U. Gekeler. On finite Drinfeld modules. Journal of
              algebra, 1(141):187–203, 1991.
 
+.. [Gek2008] \E.-U. Gekeler. Frobenius Distributions of Drinfeld Modules over
+             Finite Fields. Transactions of the American Mathematical Society,
+             Volume 360 (2008), no. 4.
+
 .. [Gek2017] \E.-U. Gekeler. On Drinfeld modular forms of higher rank.
              Journal de théorie des nombres de Bordeaux,
              Volume 29 (2017) no. 3, pp. 875-902. :doi:`10.5802/jtnb.1005`
@@ -3936,6 +3962,10 @@ REFERENCES:
             47:95-104, 1997.
             :doi:`10.1023/A:1022444205860`
 
+.. [KM2015] Nishad Kothari and U.S.R. Murty. *K4-free and C6¯-free Planar
+            Matching Covered Graphs.* Journal of Graph Theory. 82. (2015)
+            :doi:`10.1002/jgt.21882`.
+
 .. [KMAUTOM2000] Masayuki Kanda, Shiho Moriai, Kazumaro Aoki, Hiroki Ueda,
                  Youichi Takashima, Kazuo Ohta, and Tsutomu Matsumoto,
                  *E2 - a new 128-bit block cipher*; in IEICE Transactions on
@@ -4477,6 +4507,11 @@ REFERENCES:
              IEEE Trans. Inf. Th. 25(1979), 1-7.
              :doi:`10.1109/TIT.1979.1055985`.
 
+.. [Lov1983] László Lovász,
+             *Ear-decompositions of matching-covered graphs*,
+             Combinatorica 3, 105--117 (1983)
+             :doi:`10.1007/BF02579346`.
+
 .. [LP2007] \G. Leander and A. Poschmann,
             *On the Classification of 4 Bit S-boxes*; in WAIFI, (2007), pp. 159-176.
 
@@ -5157,6 +5192,10 @@ REFERENCES:
             :doi:`10.1007/s00453-006-1225-y`,
             http://www.cs.uoi.gr/~stavros/C-Papers/C-2004-SODA.pdf
 
+.. [NT2007] Serguei Norine and Robin Thomas. *Minimally Non-Pfaffian Graphs*.
+            Combinatorica, vol. 27, no. 5, pages: 587 -- 600, Springer. 2007.
+            :doi:`10.1016/j.jctb.2007.12.005`.
+            
 .. [Nur2004] K. Nurmela. *Upper bounds for covering arrays by tabu search*.
              Discrete Applied Math., 138 (2004), 143-152.
 
@@ -5668,6 +5707,11 @@ REFERENCES:
 .. [RS2012] G. Rudolph and M. Schmidt, "Differential Geometry and Mathematical Physics.
             Part I. Manifolds, Lie Groups and Hamiltonian Systems", Springer, 2012.
 
+.. [RST2019] Neil Robertson, Paul Seymour and Robin Thomas, *Excluded minors in
+             cubic graphs*, Journal of Combinatorial Theory, Series B, vol. 138,
+             (2019), pages: 219 -- 285, ISSN: 0095 -- 8956,
+             :doi:`10.1016/j.jctb.2019.02.002`.
+
 .. [RSW2011] Victor Reiner, Franco Saliola, Volkmar Welker.
              *Spectra of Symmetrized Shuffling Operators*.
              :arxiv:`1102.2460v2`.

src/sage/algebras/cluster_algebra.py

@@ -355,6 +355,7 @@
 # ****************************************************************************
 
 from copy import copy
+from typing import Any
 
 from sage.arith.misc import binomial
 from sage.categories.homset import Hom
@@ -562,7 +563,7 @@ def homogeneous_components(self) -> dict:
         """
         deg_matrix = block_matrix([[identity_matrix(self.parent().rank()),
                                     -self.parent().b_matrix()]])
-        components = {}
+        components: dict[tuple, Any] = {}
         x = self.lift()
         monomials = x.monomials()
         for m in monomials:
@@ -1432,11 +1433,11 @@ def _repr_(self) -> str:
              and coefficients y0, y1 over Integer Ring
         """
         var_names = self.initial_cluster_variable_names()
-        var_names = (" " if len(var_names) == 1 else "s ") + ", ".join(var_names)
+        var_names_str = (" " if len(var_names) == 1 else "s ") + ", ".join(var_names)
         coeff_names = self.coefficient_names()
         coeff_prefix = " and" + (" " if len(coeff_names) > 0 else " no ") + "coefficient"
         coeff = coeff_prefix + (" " if len(coeff_names) == 1 else "s ") + ", ".join(coeff_names) + (" " if len(coeff_names) > 0 else "")
-        return "A Cluster Algebra with cluster variable" + var_names + coeff + "over " + repr(self.scalars())
+        return "A Cluster Algebra with cluster variable" + var_names_str + coeff + "over " + repr(self.scalars())
 
     def _an_element_(self):
         r"""

src/sage/algebras/fusion_rings/fast_parallel_fmats_methods.pyx

@@ -399,7 +399,7 @@ cdef list compute_gb(factory, tuple args):
     cdef MPolynomialRing_libsingular R = PolynomialRing(factory._FR.field(), len(sorted_vars), 'a', order=term_order)
 
     # Zip tuples into R and compute Groebner basis
-    cdef idx_map = {old : new for new, old in enumerate(sorted_vars)}
+    cdef idx_map = {old: new for new, old in enumerate(sorted_vars)}
     nvars = len(sorted_vars)
     F = factory.field()
     cdef list polys = list()

src/sage/algebras/iwahori_hecke_algebra.py

@@ -1255,7 +1255,7 @@ def __init__(self, algebra, prefix=None):
 
         # This **must** match the name of the class in order for
         #   specialize_to() to work
-        _basis_name = None
+        _basis_name = 'B'
 
         def _repr_term(self, t):
             r"""

src/sage/algebras/lie_conformal_algebras/examples.py

@@ -20,15 +20,15 @@
 - Reimundo Heluani (2020-06-15): Initial implementation.
 """
 
-#******************************************************************************
+# *****************************************************************************
 #       Copyright (C) 2020 Reimundo Heluani <heluani@potuz.net>
 #
 # This program is free software: you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
 # the Free Software Foundation, either version 2 of the License, or
 # (at your option) any later version.
-#                  http://www.gnu.org/licenses/
-#*****************************************************************************
+#                  https://www.gnu.org/licenses/
+# ****************************************************************************
 
 from .abelian_lie_conformal_algebra import AbelianLieConformalAlgebra as Abelian
 from .affine_lie_conformal_algebra import AffineLieConformalAlgebra as Affine
@@ -40,14 +40,3 @@
 from .neveu_schwarz_lie_conformal_algebra import NeveuSchwarzLieConformalAlgebra as NeveuSchwarz
 from .virasoro_lie_conformal_algebra import VirasoroLieConformalAlgebra as Virasoro
 from .weyl_lie_conformal_algebra import WeylLieConformalAlgebra as Weyl
-
-assert Abelian
-assert Affine
-assert BosonicGhosts
-assert FermionicGhosts
-assert FreeBosons
-assert FreeFermions
-assert N2
-assert NeveuSchwarz
-assert Virasoro
-assert Weyl