Merge branch 'develop' into lazy_series/infinite_sum_products

.github/workflows/build.yml

@@ -23,7 +23,7 @@ concurrency:
 jobs:
   build:
     runs-on: ubuntu-latest
-    container: ghcr.io/sagemath/sage/sage-docker-${{ github.event.inputs.platform || 'ubuntu-focal-standard' }}-with-targets:${{ github.event.inputs.docker_tag || 'dev'}}
+    container: ghcr.io/sagemath/sage/sage-${{ github.event.inputs.platform || 'ubuntu-focal-standard' }}-with-targets:${{ github.event.inputs.docker_tag || 'dev'}}
     steps:
       - name: Checkout
         id: checkout

.github/workflows/doc-build.yml

@@ -14,7 +14,7 @@ concurrency:
 jobs:
   build-docs:
     runs-on: ubuntu-latest
-    container: ghcr.io/sagemath/sage/sage-docker-ubuntu-focal-standard-with-targets:dev
+    container: ghcr.io/sagemath/sage/sage-ubuntu-focal-standard-with-targets:dev
     steps:
       - name: Checkout
         uses: actions/checkout@v3

.zenodo.json

@@ -1,10 +1,10 @@
 {
     "description": "Mirror of the Sage https://sagemath.org/ source tree", 
     "license": "other-open", 
-    "title": "sagemath/sage: 10.0.beta6", 
-    "version": "10.0.beta6", 
+    "title": "sagemath/sage: 10.0.beta7", 
+    "version": "10.0.beta7", 
     "upload_type": "software", 
-    "publication_date": "2023-03-26", 
+    "publication_date": "2023-04-01", 
     "creators": [
         {
             "affiliation": "SageMath.org", 
@@ -15,7 +15,7 @@
     "related_identifiers": [
         {
             "scheme": "url", 
-            "identifier": "https://github.com/sagemath/sage/tree/10.0.beta6", 
+            "identifier": "https://github.com/sagemath/sage/tree/10.0.beta7", 
             "relation": "isSupplementTo"
         }, 
         {

VERSION.txt

@@ -1 +1 @@
-SageMath version 10.0.beta6, Release Date: 2023-03-26
+SageMath version 10.0.beta7, Release Date: 2023-04-01

build/pkgs/configure/checksums.ini

@@ -1,4 +1,4 @@
 tarball=configure-VERSION.tar.gz
-sha1=c9dfa61ff70a2dceec85ad01fc37ee42232402c0
-md5=7479fb53c1b9fd56aea37f83a34cdac3
-cksum=3525422540
+sha1=224fa9979ee6d884b708b6e96553c73b170fffcc
+md5=eead1165f89ae4b693dbdb252d4e940c
+cksum=1999003763

build/pkgs/configure/package-version.txt

@@ -1 +1 @@
-4452928a1a41758883e2f0e3a445b015dfa0e593
+ad0ea73c1df909186e435713f1c0d7d34d93cd84

build/pkgs/pplpy/SPKG.rst

@@ -20,4 +20,4 @@ GPL version 3
 Upstream Contact
 ----------------
 
--  https://github.com/videlec/pplpy
+-  https://github.com/sagemath/pplpy

build/pkgs/pplpy/checksums.ini

@@ -1,5 +1,5 @@
 tarball=pplpy-VERSION.tar.gz
-sha1=b4f7d8ce6e78b3b55f71291ae912cf5bfab604f9
-md5=fabbdba19ce8fb2269024e99e13f028c
-cksum=1087084993
+sha1=9f0d531d77dab19f1f0f350022687a8bd749aee2
+md5=980223c38fc95b2f4f8265f20b45a98e
+cksum=3147352163
 upstream_url=https://pypi.io/packages/source/p/pplpy/pplpy-VERSION.tar.gz

build/pkgs/pplpy/dependencies

@@ -1,4 +1,4 @@
-$(PYTHON) $(MP_LIBRARY) gmpy2 cysignals mpfr mpc ppl | $(PYTHON_TOOLCHAIN)
+$(PYTHON) $(MP_LIBRARY) gmpy2 cysignals mpfr mpc ppl | $(PYTHON_TOOLCHAIN) sphinx
 
 ----------
 All lines of this file are ignored except the first.

build/pkgs/pplpy/package-version.txt

@@ -1 +1 @@
-0.8.6
+0.8.7

build/pkgs/pplpy_doc/SPKG.rst

@@ -15,4 +15,4 @@ GPL version 3
 Upstream Contact
 ----------------
 
--  https://github.com/videlec/pplpy
+-  https://github.com/sagemath/pplpy

build/pkgs/primecount/checksums.ini

@@ -1,5 +1,5 @@
 tarball=primecount-VERSION.tar.gz
-sha1=5477d5c69263d3f7d370a8fa4e9b2705b0db2911
-md5=9f7819fb0b2fc0cebd6f24d9b6115271
-cksum=167695697
+sha1=3854ef6c7f454086f31aa80d68f628c5b685d702
+md5=a566d9b95ccc01f0c7c1329ca4c06b89
+cksum=1260437024
 upstream_url=https://github.com/kimwalisch/primecount/archive/refs/tags/vVERSION.tar.gz

build/pkgs/primecount/distros/gentoo.txt

@@ -0,0 +1 @@
+sci-mathematics/primecount

build/pkgs/primecount/package-version.txt

@@ -1 +1 @@
-7.4
+7.6

build/pkgs/primesieve/checksums.ini

@@ -1,5 +1,5 @@
 tarball=primesieve-VERSION.tar.gz
-sha1=abd7627ac05dbc61c5cf7200f1d4570217a9f6d7
-md5=9c6cc6d25dcc8ba85369bd29761512b5
-cksum=2105775559
+sha1=cb0a7c49b37b51980fc610d3041b9591c67a460c
+md5=73f51a77b0d43356b404999e777ad910
+cksum=1567518743
 upstream_url=https://github.com/kimwalisch/primesieve/archive/refs/tags/vVERSION.tar.gz

build/pkgs/primesieve/distros/gentoo.txt

@@ -0,0 +1 @@
+sci-mathematics/primesieve

build/pkgs/primesieve/package-version.txt

@@ -1 +1 @@
-8.0
+11.0

build/pkgs/pyscipopt/checksums.ini

@@ -1,5 +1,5 @@
-tarball=PySCIPOpt-VERSION.tar.gz
-sha1=0c3644ce6a0624774dceaef10694e090e3863ab5
-md5=2e4ce8087fb9acac8e806655f20c3d70
-cksum=3316817556
-upstream_url=https://pypi.io/packages/source/p/pyscipopt/PySCIPOpt-VERSION.tar.gz
+tarball=PySCIPOpt_no_C-VERSION.tar.gz
+sha1=cd8a7a5ee2f3d72eb0505b050ab8ffcf3acba409
+md5=b8a846432a7a1e6d5c6dcc547e7a6380
+cksum=710591360
+upstream_url=https://github.com/scipopt/PySCIPOpt/archive/refs/tags/vVERSION.tar.gz

build/pkgs/pyscipopt/dependencies

@@ -1,4 +1,4 @@
-$(PYTHON) scip | $(PYTHON_TOOLCHAIN)
+$(PYTHON) scip | $(PYTHON_TOOLCHAIN) cython
 
 ----------
 All lines of this file are ignored except the first.

build/pkgs/pyscipopt/package-version.txt

@@ -1 +1 @@
-4.2.0
+4.3.0

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.0b6
+sage-conf ~= 10.0b7

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.0b6
+sage-docbuild ~= 10.0b7

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.0b6
+sage-setup ~= 10.0b7

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.0b6
+sage-sws2rst ~= 10.0b7

build/pkgs/sagelib/install-requires.txt

@@ -1,2 +1,2 @@
 # This file is updated on every release by the sage-update-version script
-sagelib ~= 10.0b6
+sagelib ~= 10.0b7

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.0b6
+sagemath-categories ~= 10.0b7

build/pkgs/sagemath_doc_html/dependencies

@@ -1,4 +1,4 @@
-sagelib sphinx 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 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
 
 # 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.0b6
+sagemath-environment ~= 10.0b7

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.0b6
+sagemath-objects ~= 10.0b7

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.0b6
+sagemath-repl ~= 10.0b7

build/pkgs/sphinx_copybutton/SPKG.rst

@@ -0,0 +1,18 @@
+sphinx_copybutton: Add a copy button to each of your code cells.
+================================================================
+
+Description
+-----------
+
+Add a copy button to each of your code cells.
+
+License
+-------
+
+MIT License
+
+Upstream Contact
+----------------
+
+https://pypi.org/project/sphinx-copybutton/
+

build/pkgs/sphinx_copybutton/checksums.ini

@@ -0,0 +1,5 @@
+tarball=sphinx_copybutton-VERSION-py3-none-any.whl
+sha1=329d24e382c80fbb39aba221479f3ca3f566d19c
+md5=1181950a5fd59160f7ec588e805d986f
+cksum=142562474
+upstream_url=https://pypi.io/packages/py3/s/sphinx_copybutton/sphinx_copybutton-VERSION-py3-none-any.whl

build/pkgs/sphinx_copybutton/dependencies

@@ -0,0 +1,4 @@
+$(PYTHON) sphinx | $(PYTHON_TOOLCHAIN)
+
+----------
+All lines of this file are ignored except the first.

build/pkgs/sphinx_copybutton/install-requires.txt

@@ -0,0 +1 @@
+sphinx-copybutton

build/pkgs/sphinx_copybutton/package-version.txt

@@ -0,0 +1 @@
+0.5.1

build/pkgs/sphinx_copybutton/type

@@ -0,0 +1 @@
+standard

configure.ac

@@ -496,7 +496,7 @@ AC_ARG_ENABLE([doc],
   AS_HELP_STRING([--disable-doc],
                  [disable build of the Sage documentation and packages depending on it]), [
     dnl Disable packages needed for docbuilding
-    for pkg in sage_docbuild alabaster babel snowballstemmer imagesize sphinx sphinxcontrib_devhelp sphinxcontrib_jsmath sphinxcontrib_serializinghtml sphinxcontrib_applehelp sphinxcontrib_htmlhelp sphinxcontrib_qthelp sphinxcontrib_websupport jupyter_sphinx furo; do
+    for pkg in sage_docbuild alabaster babel snowballstemmer imagesize sphinx sphinxcontrib_devhelp sphinxcontrib_jsmath sphinxcontrib_serializinghtml sphinxcontrib_applehelp sphinxcontrib_htmlhelp sphinxcontrib_qthelp sphinxcontrib_websupport jupyter_sphinx furo sphinx_copybutton; do
       AS_VAR_SET([SAGE_ENABLE_$pkg], [$enableval])
     done
     AS_VAR_IF([enableval], [no], [dnl Disable the docbuild by disabling the install tree for documentation

pkgs/sage-conf/VERSION.txt

@@ -1 +1 @@
-10.0.beta6
+10.0.beta7

pkgs/sage-conf_pypi/VERSION.txt

@@ -1 +1 @@
-10.0.beta6
+10.0.beta7

pkgs/sage-docbuild/VERSION.txt

@@ -1 +1 @@
-10.0.beta6
+10.0.beta7

pkgs/sage-setup/VERSION.txt

@@ -1 +1 @@
-10.0.beta6
+10.0.beta7

pkgs/sage-sws2rst/VERSION.txt

@@ -1 +1 @@
-10.0.beta6
+10.0.beta7

pkgs/sagemath-categories/VERSION.txt

@@ -1 +1 @@
-10.0.beta6
+10.0.beta7

pkgs/sagemath-environment/VERSION.txt

@@ -1 +1 @@
-10.0.beta6
+10.0.beta7

pkgs/sagemath-objects/VERSION.txt

@@ -1 +1 @@
-10.0.beta6
+10.0.beta7

pkgs/sagemath-repl/VERSION.txt

@@ -1 +1 @@
-10.0.beta6
+10.0.beta7

src/.relint.yml

@@ -52,3 +52,12 @@
   pattern: 'from\s+sage(|[.](arith|categories|combinat|ext|graphs(|[.]decompositions)|interfaces|libs|matrix|misc|numerical(|[.]backends)|rings(|[.]finite_rings)|sets))[.]all\s+import'
   # imports from .all are allowed in all.py; also allow in some modules that need sage.all
   filePattern: '(.*/|)(?!(all|benchmark|dev_tools|parsing|sage_eval))[^/.]*[.](py|pyx|pxi)$'
+
+# Magic doctest comments
+
+- name: 'multiline_doctest_comment: magic comment on a continuation line'
+  hint: |
+    magic doctest comments should appear on the "sage:" line, not "....:" lines
+  # see optional_regex in src/sage/doctest/parsing.py
+  # "indirect doctest" is from src/bin/sage-coverage
+  pattern: '^[ 	]*[.][.][.][.]:.*#.*(arb216|arb218|py2|py3|long time|not implemented|not tested|known bug|optional|indirect doctest)'

src/VERSION.txt

@@ -1 +1 @@
-10.0.beta6
+10.0.beta7

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.0.beta6'
-SAGE_RELEASE_DATE='2023-03-26'
-SAGE_VERSION_BANNER='SageMath version 10.0.beta6, Release Date: 2023-03-26'
+SAGE_VERSION='10.0.beta7'
+SAGE_RELEASE_DATE='2023-04-01'
+SAGE_VERSION_BANNER='SageMath version 10.0.beta7, Release Date: 2023-04-01'

src/doc/en/constructions/plotting.rst

@@ -301,10 +301,10 @@ Here is an example of a plot of a parametric surface in 3-space:
 ::
 
     sage: maxima.plot3d_parametric(["v*sin(u)","v*cos(u)","v"], ["u","v"],
-    ....:     [-3.2,3.2],[0,3])      # optional -- pops up a window.
+    ....:     [-3.2,3.2],[0,3])
     sage: opts = '[gnuplot_term, ps], [gnuplot_out_file, "sin-cos-plot.eps"]'
     sage: maxima.plot3d_parametric(["v*sin(u)","v*cos(u)","v"], ["u","v"],
-    ....:     [-3.2,3.2],[0,3],opts)     # optional -- pops up a window.
+    ....:     [-3.2,3.2],[0,3],opts)
 
 To illustrate how to pass gnuplot options in , here is an example
 of a plot of a set of points involving the Riemann zeta function

src/doc/en/developer/coding_basics.rst

@@ -1092,9 +1092,9 @@ framework. Here is a comprehensive list:
 
       sage: print("The sum of 1 and 1 equals 5")  # abs tol 1
       The sum of 2 and 2 equals 4
-      sage: e^(i*pi/4).n() # rel tol 1e-1
+      sage: e^(i*pi/4).n()  # rel tol 1e-1
       0.7 + 0.7*I
-      sage: ((x+1.001)^4).expand() # rel tol 2
+      sage: ((x+1.001)^4).expand()  # rel tol 2
       x^4 + 4*x^3 + 6*x^2 + 4*x + 1
       sage: M = matrix.identity(3) + random_matrix(RR,3,3)/10^3
       sage: M^2 # abs tol 1e-2
@@ -1219,6 +1219,22 @@ framework. Here is a comprehensive list:
       8193                      # 32-bit
       2147491840                # 64-bit
 
+Per coding style (:ref:`section-coding-python`), the magic comment
+should be separated by at least 2 spaces.
+
+For multiline doctests, the comment should appear on the first
+`physical line <https://docs.python.org/3/reference/lexical_analysis.html#physical-lines>`_
+of the doctest (the line with the prompt ``sage:``), not on the
+continuation lines (the lines with the prompt ``....:``)::
+
+    sage: print(ZZ.random_element())        # random
+    42
+    sage: for _ in range(3):                # random
+    ....:     print(QQ.random_element())
+    1
+    1/77
+    -1/2
+
 Using ``search_src`` from the Sage prompt (or ``grep``), one can
 easily find the aforementioned keywords. In the case of ``todo: not
 implemented``, one can use the results of such a search to direct

src/doc/en/developer/packaging_sage_library.rst

@@ -567,6 +567,15 @@ doctests that depend on :class:`sage.symbolic.ring.SymbolicRing` for integration
 testing. Hence, these doctests are marked ``# optional -
 sage.symbolic``.
 
+When defining new features for the purpose of doctest annotations, it may be a good
+idea to hide implementation details from feature names. For example, all doctests that
+use finite fields have to depend on PARI. However, we have defined a feature
+:mod:`sage.rings.finite_rings` (which implies the presence of :mod:`sage.libs.pari`).
+Annotating the doctests ``# optional - sage.rings.finite_rings`` expresses the
+dependency in a clearer way than using ``# optional - sage.libs.pari``, and it
+will be a smaller maintenance burden when implementation details change.
+
+
 Testing the distribution in virtual environments with tox
 ---------------------------------------------------------
 

src/doc/en/reference/combinat/module_list.rst

@@ -346,6 +346,7 @@ Comprehensive Module List
     sage/combinat/species/structure
     sage/combinat/species/subset_species
     sage/combinat/species/sum_species
+    sage/combinat/specht_module
     sage/combinat/subset
     sage/combinat/subsets_hereditary
     sage/combinat/subsets_pairwise

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

@@ -11,13 +11,27 @@ algebraic closure of `\QQ`.
    :maxdepth: 1
 
    sage/rings/function_field/function_field
+   sage/rings/function_field/function_field_rational
+   sage/rings/function_field/function_field_polymod
    sage/rings/function_field/element
+   sage/rings/function_field/element_rational
+   sage/rings/function_field/element_polymod
    sage/rings/function_field/order
+   sage/rings/function_field/order_rational
+   sage/rings/function_field/order_basis
+   sage/rings/function_field/order_polymod
    sage/rings/function_field/ideal
+   sage/rings/function_field/ideal_rational
+   sage/rings/function_field/ideal_polymod
    sage/rings/function_field/place
+   sage/rings/function_field/place_rational
+   sage/rings/function_field/place_polymod
    sage/rings/function_field/divisor
    sage/rings/function_field/differential
    sage/rings/function_field/valuation_ring
+   sage/rings/function_field/derivations
+   sage/rings/function_field/derivations_rational
+   sage/rings/function_field/derivations_polymod
    sage/rings/function_field/maps
    sage/rings/function_field/extensions
    sage/rings/function_field/constructor

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

@@ -45,6 +45,7 @@ Laurent Polynomials
 .. toctree::
    :maxdepth: 1
 
+   sage/rings/polynomial/laurent_polynomial_ring_base
    sage/rings/polynomial/laurent_polynomial_ring
    sage/rings/polynomial/laurent_polynomial
    sage/rings/polynomial/omega