Merge branch 'develop' into p/binder-enabled-repo

.github/workflows/ci-linux.yml

@@ -39,6 +39,7 @@ jobs:
     uses: ./.github/workflows/docker.yml
     with:
       # Build from scratch
+      free_disk_space: true
       docker_targets: "with-system-packages configured with-targets-pre with-targets"
       # FIXME: duplicated from env.TARGETS
       targets_pre: all-sage-local

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.3.rc2
+version: 10.3.rc3
 doi: 10.5281/zenodo.593563
-date-released: 2024-03-04
+date-released: 2024-03-10
 repository-code: "https://github.com/sagemath/sage"
 url: "https://www.sagemath.org/"

VERSION.txt

@@ -1 +1 @@
-SageMath version 10.3.rc2, Release Date: 2024-03-04
+SageMath version 10.3.rc3, Release Date: 2024-03-10

build/pkgs/configure/checksums.ini

@@ -1,4 +1,4 @@
 tarball=configure-VERSION.tar.gz
-sha1=ff35813eb1168b754ab9470066b39aeaca9d462c
-md5=834bc382880b0cfea48fa00bdff79534
-cksum=4002007446
+sha1=facd0b123855a68d836680b22177058ac3333aad
+md5=180414ef1a73c5cc12a657abb5affb63
+cksum=101476296

build/pkgs/configure/package-version.txt

@@ -1 +1 @@
-872ca39ec422cacd1005dd6b1ccd9737d5d88712
+5c45eed9e45a60223067282bb70cdb805d66eeff

build/pkgs/prompt_toolkit/checksums.ini

@@ -1,5 +1,5 @@
 tarball=prompt_toolkit-VERSION.tar.gz
-sha1=d36c3286a16c09b9bc02c2733b9fc7a8a9c30ba1
-md5=252a5d200e41d46b65a3076d2bc0a4bd
-cksum=361343842
+sha1=b5ada8cb45c11f9184c990bd33a98d3d690e6edc
+md5=f33c0f4ae8d11addababf6d90c98f8bc
+cksum=1262534330
 upstream_url=https://pypi.io/packages/source/p/prompt_toolkit/prompt_toolkit-VERSION.tar.gz

build/pkgs/prompt_toolkit/package-version.txt

@@ -1 +1 @@
-3.0.41
+3.0.43

build/pkgs/sage_conf/install-requires.txt

@@ -1,2 +1,2 @@
 # This file is updated on every release by the sage-update-version script
-sage-conf ~= 10.3rc2
+sage-conf ~= 10.3rc3

build/pkgs/sage_docbuild/install-requires.txt

@@ -1,2 +1,2 @@
 # This file is updated on every release by the sage-update-version script
-sage-docbuild ~= 10.3rc2
+sage-docbuild ~= 10.3rc3

build/pkgs/sage_setup/install-requires.txt

@@ -1,2 +1,2 @@
 # This file is updated on every release by the sage-update-version script
-sage-setup ~= 10.3rc2
+sage-setup ~= 10.3rc3

build/pkgs/sage_sws2rst/install-requires.txt

@@ -1,2 +1,2 @@
 # This file is updated on every release by the sage-update-version script
-sage-sws2rst ~= 10.3rc2
+sage-sws2rst ~= 10.3rc3

build/pkgs/sagelib/install-requires.txt

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

build/pkgs/sagemath_bliss/install-requires.txt

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

build/pkgs/sagemath_categories/install-requires.txt

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

build/pkgs/sagemath_coxeter3/install-requires.txt

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

build/pkgs/sagemath_doc_html/dependencies

@@ -1,4 +1,4 @@
-sagelib sphinx sphinx_copybutton sphinx_inline_tabs pplpy_doc | $(SAGERUNTIME) maxima networkx scipy sympy matplotlib pillow mathjax mpmath ipykernel jupyter_client conway_polynomials tachyon jmol ipywidgets jupyter_sphinx sage_docbuild elliptic_curves furo fpylll
+sagelib sphinx sphinx_copybutton sphinx_inline_tabs pplpy_doc | $(SAGERUNTIME) maxima networkx scipy sympy matplotlib pillow mathjax mpmath ipykernel jupyter_client conway_polynomials tachyon jmol ipywidgets jupyter_sphinx sage_docbuild elliptic_curves furo fpylll graphs
 
 # Building the documentation has many dependencies, because all
 # documented modules are imported and because we use matplotlib to

build/pkgs/sagemath_environment/install-requires.txt

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

build/pkgs/sagemath_mcqd/install-requires.txt

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

build/pkgs/sagemath_meataxe/install-requires.txt

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

build/pkgs/sagemath_objects/install-requires.txt

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

build/pkgs/sagemath_repl/install-requires.txt

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

build/pkgs/sagemath_sirocco/install-requires.txt

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

build/pkgs/sagemath_tdlib/install-requires.txt

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

pkgs/sage-conf/VERSION.txt

@@ -1 +1 @@
-10.3.rc2
+10.3.rc3

pkgs/sage-conf_conda/VERSION.txt

@@ -1 +1 @@
-10.3.rc2
+10.3.rc3

pkgs/sage-conf_pypi/VERSION.txt

@@ -1 +1 @@
-10.3.rc2
+10.3.rc3

pkgs/sage-docbuild/VERSION.txt

@@ -1 +1 @@
-10.3.rc2
+10.3.rc3

pkgs/sage-setup/VERSION.txt

@@ -1 +1 @@
-10.3.rc2
+10.3.rc3

pkgs/sage-sws2rst/VERSION.txt

@@ -1 +1 @@
-10.3.rc2
+10.3.rc3

pkgs/sagemath-bliss/VERSION.txt

@@ -1 +1 @@
-10.3.rc2
+10.3.rc3

pkgs/sagemath-categories/VERSION.txt

@@ -1 +1 @@
-10.3.rc2
+10.3.rc3

pkgs/sagemath-coxeter3/VERSION.txt

@@ -1 +1 @@
-10.3.rc2
+10.3.rc3

pkgs/sagemath-environment/VERSION.txt

@@ -1 +1 @@
-10.3.rc2
+10.3.rc3

pkgs/sagemath-mcqd/VERSION.txt

@@ -1 +1 @@
-10.3.rc2
+10.3.rc3

pkgs/sagemath-meataxe/VERSION.txt

@@ -1 +1 @@
-10.3.rc2
+10.3.rc3

pkgs/sagemath-objects/VERSION.txt

@@ -1 +1 @@
-10.3.rc2
+10.3.rc3

pkgs/sagemath-repl/VERSION.txt

@@ -1 +1 @@
-10.3.rc2
+10.3.rc3

pkgs/sagemath-sirocco/VERSION.txt

@@ -1 +1 @@
-10.3.rc2
+10.3.rc3

pkgs/sagemath-tdlib/VERSION.txt

@@ -1 +1 @@
-10.3.rc2
+10.3.rc3

src/VERSION.txt

@@ -1 +1 @@
-10.3.rc2
+10.3.rc3

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.3.rc2'
-SAGE_RELEASE_DATE='2024-03-04'
-SAGE_VERSION_BANNER='SageMath version 10.3.rc2, Release Date: 2024-03-04'
+SAGE_VERSION='10.3.rc3'
+SAGE_RELEASE_DATE='2024-03-10'
+SAGE_VERSION_BANNER='SageMath version 10.3.rc3, Release Date: 2024-03-10'

src/sage/algebras/clifford_algebra.py

@@ -987,7 +987,7 @@ def lift_module_morphism(self, m, names=None):
         TESTS:
 
         Check that the resulting morphism knows it is for
-        finite-dimensional algebras (:trac:`25339`)::
+        finite-dimensional algebras (:issue:`25339`)::
 
             sage: Q = QuadraticForm(ZZ, 3, [1,2,3,4,5,6])
             sage: Cl.<x,y,z> = CliffordAlgebra(Q)
@@ -1071,7 +1071,7 @@ def lift_isometry(self, m, names=None):
         TESTS:
 
         Check that the resulting morphism knows it is for
-        finite-dimensional algebras (:trac:`25339`)::
+        finite-dimensional algebras (:issue:`25339`)::
 
             sage: Q = QuadraticForm(ZZ, 3, [1,2,3,4,5,6])
             sage: Cl.<x,y,z> = CliffordAlgebra(Q)
@@ -1553,7 +1553,7 @@ def lift_morphism(self, phi, names=None):
         TESTS:
 
         Check that the resulting morphism knows it is for
-        finite-dimensional algebras (:trac:`25339`)::
+        finite-dimensional algebras (:issue:`25339`)::
 
             sage: E = ExteriorAlgebra(ZZ, 'e', 3)
             sage: T = jordan_block(0, 2).block_sum(jordan_block(0, 1))
@@ -1772,7 +1772,7 @@ def interior_product_on_basis(self, a, b):
             sage: E.interior_product_on_basis(k[7], k[5])
             -y
 
-        Check :trac:`34694`::
+        Check :issue:`34694`::
 
             sage: # needs sage.symbolic
             sage: E = ExteriorAlgebra(SR,'e',3)
@@ -2042,7 +2042,7 @@ def __init__(self, E, s_coeff):
             sage: TestSuite(par).run(skip="_test_pickling")
 
         Check that it knows it is a finite-dimensional algebra
-        morphism (:trac:`25339`):;
+        morphism (:issue:`25339`):;
 
             sage: par.category_for()
             Category of finite dimensional algebras with basis over Rational Field

src/sage/algebras/clifford_algebra_element.pyx

@@ -90,7 +90,7 @@ cdef class CliffordAlgebraElement(IndexedFreeModuleElement):
             sage: 0*x
             0
 
-        :trac:`34707`::
+        :issue:`34707`::
 
             sage: Q = QuadraticForm(QQ, 2, [0,5,0])
             sage: C.<p,q> = CliffordAlgebra(Q)

src/sage/algebras/cluster_algebra.py

@@ -1182,7 +1182,7 @@ def _mutated_F(self, k, old_g_vector):
             sage: S._mutated_F(0, (1, 0))
             u0 + 1
 
-        Check that :trac:`28176` is fixed::
+        Check that :issue:`28176` is fixed::
 
             sage: A = ClusterAlgebra(matrix([[0,2],[-2,0]]))
             sage: S = A.initial_seed()
@@ -1280,7 +1280,7 @@ def __classcall__(self, data, **kwargs):
             A Cluster Algebra with cluster variables x0, x1 and no coefficients
             over Integer Ring
 
-        Check that :trac:`28176` is fixed::
+        Check that :issue:`28176` is fixed::
 
             sage: A1 = ClusterAlgebra(['A',2])
             sage: A2 = ClusterAlgebra(['A',2], cluster_variable_prefix='x')
@@ -1503,7 +1503,7 @@ def _coerce_map_from_(self, other):
             sage: S.cluster_variable(seq2[-1]) == g(A3.cluster_variable((1, -2, 2)))
             True
 
-         Check that :trac:`23654` is fixed::
+         Check that :issue:`23654` is fixed::
 
             sage: A = ClusterAlgebra(['A',2])
             sage: AA = ClusterAlgebra(['A',3])
@@ -2443,7 +2443,7 @@ def mutate_initial(self, direction, **kwargs):
             sage: A.mutate_initial([0,1]*10, mutating_F=False)
             A Cluster Algebra with cluster variables x20, x21 and no coefficients over Integer Ring
 
-        Check that :trac:`28176` is fixed::
+        Check that :issue:`28176` is fixed::
 
             sage: A = ClusterAlgebra( matrix(5,[0,1,-1,1,-1]), cluster_variable_names=['p13'], coefficient_names=['p12','p23','p34','p41']); A
             A Cluster Algebra with cluster variable p13 and coefficients p12, p23, p34, p41 over Integer Ring

src/sage/algebras/commutative_dga.py

@@ -179,7 +179,7 @@ def __classcall__(cls, A, im_gens):
             sage: d1 is d2
             True
 
-        Check that :trac:`34818` is solved::
+        Check that :issue:`34818` is solved::
 
             sage: A.<a,b,x,u> = GradedCommutativeAlgebra(QQ,degrees=(2,2,3,3))
             sage: A = A.quotient(A.ideal([a*u,b*u,x*u]))
@@ -638,7 +638,7 @@ def differential_matrix_multigraded(self, n, total=False):
 
             Rename this to ``differential_matrix`` once inheritance,
             overriding, and cached methods work together better. See
-            :trac:`17201`.
+            :issue:`17201`.
 
         INPUT:
 
@@ -954,7 +954,7 @@ def __classcall__(cls, base, names=None, degrees=None, R=None, I=None, category=
             sage: A1 is A2
             True
 
-        Testing the single generator case (:trac:`25276`)::
+        Testing the single generator case (:issue:`25276`)::
 
             sage: A3.<z> = GradedCommutativeAlgebra(QQ)
             sage: z**2 == 0
@@ -2338,7 +2338,7 @@ def cohomology(self, n):
 
         TESTS:
 
-        Check that the issue discovered in :trac:`28155` is solved::
+        Check that the issue discovered in :issue:`28155` is solved::
 
             sage: A.<e1,e2,e3,e4,e5> = GradedCommutativeAlgebra(QQ)
             sage: B = A.cdg_algebra({e5:e1*e2+e3*e4})
@@ -3111,7 +3111,7 @@ def cohomology_class(self):
                 sage: b.cohomology_class().parent()
                 Free module generated by {} over Rational Field
 
-            Check that the issue detected in :trac:`28155` is solved::
+            Check that the issue detected in :issue:`28155` is solved::
 
                 sage: A.<e1,e2,e3,e4,e5> = GradedCommutativeAlgebra(QQ)
                 sage: B = A.cdg_algebra({e5: e1*e2+e3*e4})

src/sage/algebras/finite_dimensional_algebras/finite_dimensional_algebra_element.pyx

@@ -222,7 +222,7 @@ cdef class FiniteDimensionalAlgebraElement(AlgebraElement):
             sage: B(5).vector()
             (5, 0, 5)
         """
-        # By :trac:`23707`, ``self._vector`` now is a single row matrix,
+        # By :issue:`23707`, ``self._vector`` now is a single row matrix,
         # not a vector, which results in a speed-up.
         # For backwards compatibility, this method still returns a vector.
         return self._vector[0]
@@ -384,7 +384,7 @@ cdef class FiniteDimensionalAlgebraElement(AlgebraElement):
             sage: B(1) != 0
             True
 
-        By :trac:`23707`, an ordering is defined on finite-dimensional algebras, corresponding
+        By :issue:`23707`, an ordering is defined on finite-dimensional algebras, corresponding
         to the ordering of the defining vectors; this may be handy if the vector space basis of
         the algebra corresponds to the standard monomials of the relation ideal, when
         the algebra is considered as a quotient of a path algebra. ::

src/sage/algebras/free_algebra.py

@@ -27,7 +27,7 @@
     Free Algebra on 3 generators (x, y, z) over Integer Ring
 
 The above free algebra is based on a generic implementation. By
-:trac:`7797`, there is a different implementation
+:issue:`7797`, there is a different implementation
 :class:`~sage.algebras.letterplace.free_algebra_letterplace.FreeAlgebra_letterplace`
 based on Singular's letterplace rings. It is currently restricted to
 weighted homogeneous elements and is therefore not the default. But the
@@ -53,7 +53,7 @@
     True
 
 Positive integral degree weights for the letterplace implementation
-was introduced in :trac:`7797`::
+was introduced in :issue:`7797`::
 
     sage: # needs sage.libs.singular
     sage: F.<x,y,z> = FreeAlgebra(QQ, implementation='letterplace', degrees=[2,1,3])
@@ -213,7 +213,7 @@ class FreeAlgebraFactory(UniqueFactory):
         True
         sage: TestSuite(F).run()
 
-    By :trac:`7797`, we provide a different implementation of free
+    By :issue:`7797`, we provide a different implementation of free
     algebras, based on Singular's "letterplace rings". Our letterplace
     wrapper allows for choosing positive integral degree weights for the
     generators of the free algebra. However, only (weighted) homogeneous
@@ -449,7 +449,7 @@ class FreeAlgebra_generic(CombinatorialFreeModule, Algebra):
         sage: F == FreeAlgebra(QQ,3,'y')
         False
 
-    Note that since :trac:`7797` there is a different
+    Note that since :issue:`7797` there is a different
     implementation of free algebras. Two corresponding free
     algebras in different implementations are not equal, but there
     is a coercion.
@@ -613,7 +613,7 @@ def _element_constructor_(self, x):
             sage: F.1 + (z+1)*L.2
             b + (z+1)*c
 
-        Check that :trac:`15169` is fixed::
+        Check that :issue:`15169` is fixed::
 
             sage: A.<x> = FreeAlgebra(CC)
             sage: A(2)
@@ -1068,7 +1068,7 @@ def lie_polynomial(self, w):
             sage: F.lie_polynomial('')
             1
 
-        We check that :trac:`22251` is fixed::
+        We check that :issue:`22251` is fixed::
 
             sage: F.lie_polynomial(x*y*z)
             x*y*z - x*z*y - y*z*x + z*y*x

src/sage/algebras/free_algebra_element.py

@@ -92,7 +92,7 @@ def _repr_(self):
             sage: repr(-x+3*y*z)    # indirect doctest
             '-x + 3*y*z'
 
-        Github issue :trac:`11068` enables the use of local variable names::
+        Github issue :issue:`11068` enables the use of local variable names::
 
             sage: from sage.structure.parent_gens import localvars
             sage: with localvars(A, ['a','b','c']):

src/sage/algebras/fusion_rings/fast_parallel_fusion_ring_braid_repn.pyx

@@ -311,7 +311,7 @@ cpdef _unflatten_entries(fusion_ring, list entries) noexcept:
     coefficients representation.
 
     Used to circumvent pickling issue introduced by PARI settigs
-    in :trac:`30537`.
+    in :issue:`30537`.
 
     EXAMPLES::