Merge branch 't/34201/meta_ticket__replace_imports_from_sage___all_fo…

…r_namespace_packages' into t/32601/modularization_of_sagelib__break_out_a_separate_package_sagemath_standard_no_symbolics

.zenodo.json

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

README.md

@@ -394,6 +394,20 @@ in the Installation Guide.
     or JupyterLab installation, as described in [section
     "Launching SageMath"](https://doc.sagemath.org/html/en/installation/launching.html)
     in the installation manual.
+
+Alternative Installation using PyPI
+---------------
+
+For installation of `sage` in python using `pip` you need to install `sagemath-standard`. First, activate your python virtual environment and follow these steps:
+
+            $ python3 -m pip install sage_conf
+            $ ls $(sage-config SAGE_SPKG_WHEELS)
+            $ python3 -m pip install $(sage-config SAGE_SPKG_WHEELS)/*.whl 
+            $ python3 -m pip install sagemath-standard
+
+You need to install `sage_conf`, a wheelhouse of various python packages. You can list the wheels using `ls $(sage-config SAGE_SPKG_WHEELS)`. After manual installation of these wheels, you can install the sage library, `sagemath-standard`. 
+
+**NOTE:** You can find `sage` and `sagemath` pip packages but with these packages, you will encounter `ModuleNotFoundError`.
 
 Troubleshooting
 ---------------

VERSION.txt

@@ -1 +1 @@
-SageMath version 10.0.beta3, Release Date: 2023-03-02
+SageMath version 10.0.beta4, Release Date: 2023-03-12

build/pkgs/configure/checksums.ini

@@ -1,4 +1,4 @@
 tarball=configure-VERSION.tar.gz
-sha1=b9a6c30f4f1c828ca611527d104643d8c0b89ed9
-md5=37a7a99a528efa8a4eea1beff33985db
-cksum=1112286999
+sha1=d8ef4b8b0d227b2530cff20c65911eb9587828a3
+md5=f58322981d5c5e26b1d9eadf3c2a9132
+cksum=3821522607

build/pkgs/configure/package-version.txt

@@ -1 +1 @@
-a822a2132aa0e85069ec8b6efa48ad6db08cc044
+d6c38e59d84f0dcb7c08110445050c1c370f7440

build/pkgs/eclib/checksums.ini

@@ -1,5 +1,5 @@
 tarball=eclib-VERSION.tar.bz2
-sha1=2e86bc02e43edfb43473ecb1ae8e7b67cfe87e3c
-md5=bb6fc7cb57c01c45a033276e1a94028f
-cksum=3974905173
+sha1=7c8b64bd9a1b8f4f489690a53c1f329afc953f2c
+md5=03a87ae2b490f11b81ec6b305cbc8087
+cksum=111064162
 upstream_url=https://github.com/JohnCremona/eclib/releases/download/VERSION/eclib-VERSION.tar.bz2

build/pkgs/eclib/package-version.txt

@@ -1 +1 @@
-20220621
+20221012

build/pkgs/eclib/spkg-configure.m4

@@ -1,7 +1,7 @@
 SAGE_SPKG_CONFIGURE([eclib], [
   SAGE_SPKG_DEPCHECK([ntl pari flint], [
     dnl Trac #31443, #34029: use existing eclib only if the version reported by pkg-config is correct
-    m4_pushdef([SAGE_ECLIB_VER],["20220621"])
+    m4_pushdef([SAGE_ECLIB_VER],["20221012"])
     PKG_CHECK_MODULES([ECLIB], [eclib = SAGE_ECLIB_VER], [
       AC_CACHE_CHECK([for mwrank version == SAGE_ECLIB_VER], [ac_cv_path_MWRANK], [
         AC_PATH_PROGS_FEATURE_CHECK([MWRANK], [mwrank], [

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

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

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

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

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.0b3
+sagelib ~= 10.0b4

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

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.0b3
+sagemath-environment ~= 10.0b4

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

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

pkgs/sage-conf/VERSION.txt

@@ -1 +1 @@
-10.0.beta3
+10.0.beta4

pkgs/sage-conf_pypi/VERSION.txt

@@ -1 +1 @@
-10.0.beta3
+10.0.beta4

pkgs/sage-docbuild/VERSION.txt

@@ -1 +1 @@
-10.0.beta3
+10.0.beta4

pkgs/sage-setup/VERSION.txt

@@ -1 +1 @@
-10.0.beta3
+10.0.beta4

pkgs/sage-sws2rst/VERSION.txt

@@ -1 +1 @@
-10.0.beta3
+10.0.beta4

pkgs/sagemath-categories/VERSION.txt

@@ -1 +1 @@
-10.0.beta3
+10.0.beta4

pkgs/sagemath-environment/VERSION.txt

@@ -1 +1 @@
-10.0.beta3
+10.0.beta4

pkgs/sagemath-objects/VERSION.txt

@@ -1 +1 @@
-10.0.beta3
+10.0.beta4

pkgs/sagemath-repl/VERSION.txt

@@ -1 +1 @@
-10.0.beta3
+10.0.beta4

src/VERSION.txt

@@ -1 +1 @@
-10.0.beta3
+10.0.beta4

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.beta3'
-SAGE_RELEASE_DATE='2023-03-02'
-SAGE_VERSION_BANNER='SageMath version 10.0.beta3, Release Date: 2023-03-02'
+SAGE_VERSION='10.0.beta4'
+SAGE_RELEASE_DATE='2023-03-12'
+SAGE_VERSION_BANNER='SageMath version 10.0.beta4, Release Date: 2023-03-12'

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

@@ -22,6 +22,7 @@ Comprehensive Module List
     sage/combinat/alternating_sign_matrix
     sage/combinat/backtrack
     sage/combinat/baxter_permutations
+    sage/combinat/bijectionist
     sage/combinat/binary_recurrence_sequences
     sage/combinat/binary_tree
     sage/combinat/blob_algebra

src/doc/en/reference/drinfeld_modules/conf.py

@@ -0,0 +1 @@
+../conf_sub.py

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

@@ -0,0 +1,42 @@
+Drinfeld modules
+====================================
+
+SageMath include facilities to manipulate Drinfeld modules and their morphisms. The
+main entry point is the class
+:class:`sage.rings.function_field.drinfeld_modules.drinfeld_module.DrinfeldModule`.
+
+Drinfeld modules
+----------------
+
+.. toctree::
+   :maxdepth: 2
+
+   sage/rings/function_field/drinfeld_modules/drinfeld_module
+   sage/rings/function_field/drinfeld_modules/finite_drinfeld_module
+
+Morphisms and isogenies
+-----------------------
+
+.. toctree::
+   :maxdepth: 2
+
+   sage/rings/function_field/drinfeld_modules/morphism
+   sage/rings/function_field/drinfeld_modules/homset
+
+The module action induced by a Drinfeld module
+----------------------------------------------
+
+.. toctree::
+   :maxdepth: 2
+
+   sage/rings/function_field/drinfeld_modules/action
+
+The category of Drinfeld modules
+--------------------------------
+
+.. toctree::
+   :maxdepth: 2
+
+   sage/categories/drinfeld_modules
+
+.. include:: ../footer.txt

src/doc/en/reference/index.rst

@@ -115,6 +115,7 @@ Number Fields, Function Fields, and Valuations
 * :doc:`Number Fields <number_fields/index>`
 * :doc:`Function Fields <function_fields/index>`
 * :doc:`Discrete Valuations <valuations/index>`
+* :doc:`Drinfeld Modules <drinfeld_modules/index>`
 
 Number Theory
 -------------

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

@@ -43,3 +43,5 @@ whereas others have multiple bases.
 
    sage/rings/polynomial/polynomial_compiled
    sage/rings/polynomial/polynomial_fateman
+
+   sage/rings/polynomial/integer_valued_polynomials

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

@@ -2069,10 +2069,15 @@ REFERENCES:
              *Ten New Orders for Hadamard Matrices of Skew Type*,
              Publikacije Elektrotehničkog fakulteta. Serija Matematika 2 (1992): 47-59.
 
-.. [Djo1994] \D. Đoković.
+.. [Djo1994a] \D. Đoković.
              *Five New Orders for Hadamard Matrices of Skew Type*,
              Australasian Journal of Combinatorics  10 (1994): 259-264.
 
+.. [Djo1994b] \D. Đoković.
+             *Two Hadamard matrices of order 956 of Goethals-Seidel type*,
+             Combinatorica  14(3) (1994): 375-377.
+             :doi:`10.1007/BF01212983`
+
 .. [Djo2008a] \D. Đoković.
             *Skew-Hadamard matrices of orders 188 and 388 exist*,
             International Mathematical Forum 3 no.22 (2008): 1063-1068.
@@ -2083,6 +2088,11 @@ REFERENCES:
             Journal of Combinatorial Designs 16 (2008): 493-498.
             :arxiv:`0706.1973`
 
+.. [Djo2008c] \D. Đoković.
+            *Hadamard matrices of order 764 exist*,
+            Combinatorica 28(4) (2008): 487-489.
+            :doi:`10.1007/s00493-008-2384-z`
+
 .. [Djo2023a]  \D. Đoković.
             *Skew-Hadamard matrices of order 276*.
             :arxiv:`10.48550/ARXIV.2301.02751`
@@ -2608,6 +2618,9 @@ REFERENCES:
             TR-737-05, (2005).
             ftp://ftp.cs.princeton.edu/reports/2005/737.pdf
 
+.. [Gek1991] \E.-U. Gekeler. On finite Drinfeld modules. Journal of
+             algebra, 1(141):187–203, 1991.
+
 .. [GG2012] Jim Geelen and Bert Gerards, Characterizing graphic
             matroids by a system of linear equations,
             submitted, 2012. Preprint:
@@ -2771,6 +2784,9 @@ REFERENCES:
 .. [Gos1972] Bill Gosper, "Continued Fraction Arithmetic"
              https://perl.plover.com/classes/cftalk/INFO/gosper.txt
 
+.. [Gos1998] \D. Goss. Basic structures of function field arithmetic. Springer,
+             1998.
+
 .. [Gor1980] Daniel Gorenstein, Finite Groups (New York: Chelsea
              Publishing, 1980)
 
@@ -3879,6 +3895,7 @@ REFERENCES:
              set as the intersection of super greedy linear extensions. Order 4,
              293-311 (1987).
              :doi:`10.1007/BF00337892`
+             
 .. [Kuh1987] \W. Kühnel, "Minimal triangulations of Kummer varieties",
              Abh. Math. Sem. Univ. Hamburg 57 (1987), 7-20.
 
@@ -4141,6 +4158,11 @@ REFERENCES:
              of a genus 2 Jacobian*, Mathematics of Computation 88 (2019),
              889-929. :doi:`10.1090/mcom/3358`.
 
+.. [Lon2013] \S. London,
+            *Constructing New Turyn Type Sequences, T-Sequences and Hadamard Matrices*. 
+            PhD Thesis, University of Illinois at Chicago, 2013.
+            https://hdl.handle.net/10027/9916
+
 .. [LOS2012] \C. Lecouvey, M. Okado, M. Shimozono.
              "Affine crystals, one-dimensional sums and parabolic Lusztig
              `q`-analogues". Mathematische Zeitschrift. **271** (2012). Issue 3-4.
@@ -4516,6 +4538,11 @@ REFERENCES:
 .. [Mit2008] \A. Mitra. *On the construction of M-sequences via primitive polynomials with a fast identification method*,
              International Journal of Electronics and Communication Engineering 2(9) (2008): 1991-1996.
 
+.. [Miy1991] \M. Miyamoto.
+            *A construction of Hadamard matrices*,
+            Journal of Combinatorial Theory, Series A 57(1) (1991): 86-108.
+            :doi:`10.1016/0097-3165(91)90008-5`
+
 .. [MKO1998] Hans Munthe--Kaas and Brynjulf Owren.
              *Computations in a free Lie algebra*. (1998).
              `Downloadable from Munthe-Kaas's website
@@ -4641,6 +4668,11 @@ REFERENCES:
             Int. Math. Res. Not. (2015).
             :doi:`10.1093/imrn/rnv194`, :arxiv:`1408.0320`.
 
+.. [MS2019] \Y. Musleh and \'E. Schost. Computing the characteristic polynomial
+            of a finite rank two Drinfeld module. In Proceedings of the 2019
+            ACM on International Symposium on Symbolic and Algebraic
+            Computation, pages 307–314. ACM, 2019.
+
 .. [MSSY2001] Mateescu, A., Salomaa, A., Salomaa, K. and Yu, S., *A
               sharpening of the Parikh mapping*. Theoret. Informatics Appl. 35
               (2001) 551-564.
@@ -5221,6 +5253,8 @@ REFERENCES:
 .. [Ros2002] Rosenfeld, Vladimir Raphael, 2002: Enumerating De Bruijn
              Sequences. *Communications in Math. and in Computer Chem.*
 
+.. [Rosen2002] \M. Rosen. Number theory in function fields. Springer, 2022.
+
 .. [Rot2001] Gunter Rote, *Division-Free Algorithms for the
              Determinant and the Pfaffian: Algebraic and Combinatorial
              Approaches*, H. Alt (Ed.): Computational Discrete
@@ -6092,6 +6126,9 @@ REFERENCES:
 .. [Voi2012] \J. Voight. Identifying the matrix ring: algorithms for
              quaternion algebras and quadratic forms, to appear.
 
+.. [VS06]   \G.D. Villa Salvador. Topics in the Theory of Algebraic Function
+            Fields. Birkh\"auser, 2006.
+
 .. [VW1994] Leonard Van Wyk. *Graph groups are biautomatic*. J. Pure
             Appl. Alg. **94** (1994). no. 3, 341-352.
 

src/sage/algebras/finite_dimensional_algebras/finite_dimensional_algebra_element.pxd

@@ -1,4 +1,4 @@
-from sage.structure.element cimport AlgebraElement, Element, Vector, parent
+from sage.structure.element cimport AlgebraElement, Element, Vector
 from sage.matrix.matrix cimport Matrix
 
 cdef class FiniteDimensionalAlgebraElement(AlgebraElement):

src/sage/algebras/free_algebra_quotient.py

@@ -295,6 +295,8 @@ def module(self):
         """
         The free module of the algebra.
 
+        EXAMPLES::
+
             sage: H = sage.algebras.free_algebra_quotient.hamilton_quatalg(QQ)[0]; H
             Free algebra quotient on 3 generators ('i', 'j', 'k') and dimension 4 over Rational Field
             sage: H.module()

src/sage/algebras/fusion_rings/shm_managers.pyx

@@ -22,7 +22,7 @@ from multiprocessing import shared_memory
 from sage.algebras.fusion_rings.poly_tup_engine cimport poly_to_tup, tup_fixes_sq, _flatten_coeffs
 from sage.rings.integer cimport Integer
 from sage.rings.rational cimport Rational
-from sage.rings.polynomial.multi_polynomial_libsingular cimport MPolynomial_libsingular
+from sage.rings.polynomial.multi_polynomial cimport MPolynomial_libsingular
 from sage.rings.polynomial.polydict cimport ETuple
 
 import numpy as np

src/sage/algebras/iwahori_hecke_algebra.py

@@ -2493,6 +2493,8 @@ def __init__(self, IHAlgebra, prefix=None):
             r"""
             Initialize the `A`-basis of the Iwahori-Hecke algebra ``IHAlgebra``.
 
+            EXAMPLES::
+
                 sage: R.<v> = LaurentPolynomialRing(QQ)
                 sage: H = IwahoriHeckeAlgebra('A3', v**2)
                 sage: A = H.A()

src/sage/algebras/quatalg/quaternion_algebra.py

@@ -1342,8 +1342,8 @@ def __init__(self, A, basis, check=True):
             sage: type(R)
             <class 'sage.algebras.quatalg.quaternion_algebra.QuaternionOrder_with_category'>
 
-            Over QQ and number fields it is checked whether the given
-            basis actually gives an order (as a module over the maximal order):
+        Over QQ and number fields it is checked whether the given
+        basis actually gives an order (as a module over the maximal order)::
 
             sage: A.<i,j,k> = QuaternionAlgebra(-1,-1)
             sage: A.quaternion_order([1,i,j,i-j])

src/sage/categories/cartesian_product.py

@@ -155,7 +155,7 @@ def __call__(self, args, **kwds):
             sage: _.category()
             Category of Cartesian products of finite enumerated sets
 
-        Check that the empty product is handled correctly:
+        Check that the empty product is handled correctly::
 
             sage: C = cartesian_product([])
             sage: C