Merge branch 'develop' into categories/cartesian_product_algebras_one

.github/ISSUE_TEMPLATE/bug_report.yml

@@ -3,33 +3,11 @@ description: Report a bug
 title: "<title>"
 labels: "t: bug"
 body:
-  - type: checkboxes
-    attributes:
-      label: Is there an existing issue for this?
-      description: Please search to see if an issue already exists for the bug you encountered.
-      options:
-      - label: I have searched the existing issues for a bug report that matches the one I want to file, without success.
-        required: true
-  - type: checkboxes
-    attributes:
-      label: Did you read the documentation and troubleshoot guide?
-      description: Please read [README.md](https://github.com/sagemath/sage/blob/develop/README.md) and [the Troubleshooting section in the Installation Guide](https://doc.sagemath.org/html/en/installation/troubles.html).
-      options:
-      - label: I have read the documentation and troubleshoot guide
-        required: true
-  - type: textarea
+  - type: markdown
     attributes:
-      label: Environment
-      description: |
-        examples:
-          - **OS**: Ubuntu 20.04
-          - Sage Version: 9.2
       value: |
-          - **OS**:
-          - **Sage Version**: 
-      render: markdown
-    validations:
-      required: true
+        * Please search to see if an issue already exists for the bug you encountered.
+        * Please read [README.md](https://github.com/sagemath/sage/blob/develop/README.md) and [the Troubleshooting section in the Installation Guide](https://doc.sagemath.org/html/en/installation/troubles.html).
   - type: textarea
     attributes:
       label: Steps To Reproduce
@@ -60,3 +38,24 @@ body:
         Links? References? Anything that will give us more context about the issue you are encountering!
     validations:
       required: false
+  - type: textarea
+    attributes:
+      label: Environment
+      description: |
+        examples:
+          - **OS**: Ubuntu 20.04
+          - Sage Version: 9.2
+      value: |
+          - **OS**:
+          - **Sage Version**:
+      render: markdown
+    validations:
+      required: true
+  - type: checkboxes
+    attributes:
+      label: Checklist
+      options:
+      - label: I have searched the existing issues for a bug report that matches the one I want to file, without success.
+        required: true
+      - label: I have read the documentation and troubleshoot guide
+        required: true

.github/ISSUE_TEMPLATE/failure_building_from_source.yml

@@ -4,20 +4,11 @@ title: "<title>"
 labels: ['c: build', 't: bug']
 assignees: []
 body:
-  - type: checkboxes
+  - type: markdown
     attributes:
-      label: Is there an existing issue for this?
-      description: Please search to see if an issue already exists for the bug you encountered.
-      options:
-      - label: I have searched the existing issues for a bug report that matches the one I want to file, without success.
-        required: true
-  - type: checkboxes
-    attributes:
-      label: Did you read the documentation and troubleshoot guide?
-      description: Please read [README.md](https://github.com/sagemath/sage/blob/develop/README.md) and [the Troubleshooting sectionin the Installation Guide](https://doc.sagemath.org/html/en/installation/troubles.html).
-      options:
-      - label: I have read the documentation and troubleshoot guide
-        required: true
+      value: |
+        * Please search to see if an issue already exists for the bug you encountered.
+        * Please read [README.md](https://github.com/sagemath/sage/blob/develop/README.md) and [the Troubleshooting section in the Installation Guide](https://doc.sagemath.org/html/en/installation/troubles.html).
   - type: textarea
     attributes:
       label: Environment
@@ -65,3 +56,11 @@ body:
         Links? References? Anything that will give us more context about the issue you are encountering!
     validations:
       required: false
+  - type: checkboxes
+    attributes:
+      label: Checklist
+      options:
+      - label: I have searched the existing issues for a bug report that matches the one I want to file, without success.
+        required: true
+      - label: I have read the documentation and troubleshoot guide
+        required: true

.github/ISSUE_TEMPLATE/feature_report.yml

@@ -3,13 +3,10 @@ description: Suggest an idea
 title: "<title>"
 labels: "t: enhancement"
 body:
-  - type: checkboxes
+  - type: markdown
     attributes:
-      label: Is there an existing issue for this?
-      description: Please search to see if an issue already exists for the bug you encountered.
-      options:
-      - label: I have searched the existing issues for a bug report that matches the one I want to file, without success.
-        required: true
+      value: |
+        * Please search to see if an issue already exists for the bug you encountered.
   - type: textarea
     attributes:
       label: Problem Description
@@ -34,3 +31,9 @@ body:
       description: Add any other context about the problem here.
     validations:
       required: false
+  - type: checkboxes
+    attributes:
+      label: Is there an existing issue for this?
+      options:
+      - label: I have searched the existing issues for a bug report that matches the one I want to file, without success.
+        required: true

.github/PULL_REQUEST_TEMPLATE.md

@@ -1,17 +1,20 @@
-<!-- Please provide a concise, informative and self-explanatory title. -->
-<!-- Don't put issue numbers in the title. Put it in the Description below. -->
-<!-- For example, instead of "Fixes #12345", use "Add a new method to multiply two integers" -->
-
-### :books: Description
+<!-- ^^^^^
+Please provide a concise, informative and self-explanatory title.
+Don't put issue numbers in there, do this in the PR body below.
+For example, instead of "Fixes #1234" use "Introduce new method to calculate 1+1"
+-->
+<!-- Describe your changes here in detail -->
 
-<!-- Describe your changes here in detail. -->
 <!-- Why is this change required? What problem does it solve? -->
 <!-- If this PR resolves an open issue, please link to it here. For example "Fixes #12345". -->
 <!-- If your change requires a documentation PR, please link it appropriately. -->
 
 ### :memo: Checklist
 
-<!-- Put an `x` in all the boxes that apply. It should be `[x]` not `[x ]`. -->
+<!-- Put an `x` in all the boxes that apply. -->
+<!-- If your change requires a documentation PR, please link it appropriately -->
+<!-- If you're unsure about any of these, don't hesitate to ask. We're here to help! -->
+<!-- Feel free to remove irrelevant items. -->
 
 - [ ] The title is concise, informative, and self-explanatory.
 - [ ] The description explains in detail what this PR is about.

.github/workflows/build.yml

@@ -60,11 +60,13 @@ jobs:
           # (This keeps mtimes of unchanged files unchanged and mtimes of changed files newer than unchanged files.)
           # Finally we reset the index to "old". (This keeps all mtimes unchanged.)
           # The changed files now show up as uncommitted changes.
+          # The final "git add -N" makes sure that files that were added in "new" do not show
+          # as untracked files, which would be removed by "git clean -fx".
           git worktree add --detach worktree-image
           rm -rf /sage/.git && mv worktree-image/.git /sage/
           rm -rf worktree-image && ln -s /sage worktree-image
           if [ ! -f worktree-image/.gitignore ]; then cp .gitignore worktree-image/; fi
-          (cd worktree-image && git add -A && git commit --allow-empty -m "old" -a && git tag -f old && git reset --hard new && git reset old)
+          (cd worktree-image && git add -A && git commit --quiet --allow-empty -m "old" -a && git tag -f old && git reset --hard new && git reset --quiet old && git add -N . && git status)
 
       - name: Incremental build, test changed files (sage -t --new)
         id: incremental
@@ -101,12 +103,24 @@ jobs:
         run: pyright
         working-directory: ./worktree-image
 
-      - name: Build (fallback to non-incremental)
-        id: build
+      - name: Clean (fallback to non-incremental)
+        id: clean
         if: always() && steps.worktree.outcome == 'success' && steps.incremental.outcome != 'success'
         run: |
           set -ex
-          ./bootstrap && make doc-clean doc-uninstall sagelib-clean && git clean -fx src/sage && ./config.status && make build
+          ./bootstrap && make doc-clean doc-uninstall sagelib-clean && git clean -fx src/sage && ./config.status
+        working-directory: ./worktree-image
+        env:
+          MAKE: make -j2
+          SAGE_NUM_THREADS: 2
+
+      - name: Build
+        # This step is needed because building the modularized distributions installs some optional packages,
+        # so the editable install of sagelib needs to build the corresponding optional extension modules.
+        id: build
+        if: always() && (steps.incremental.outcome == 'success' || steps.clean.outcome == 'success')
+        run: |
+          make build
         working-directory: ./worktree-image
         env:
           MAKE: make -j2
@@ -123,22 +137,22 @@ jobs:
           COLUMNS: 120
 
       - name: Test all files (sage -t --all --long)
-        if: always() && (steps.incremental.outcome == 'success' || steps.build.outcome == 'success')
+        if: always() && steps.build.outcome == 'success'
         run: |
           ../sage -python -m pip install coverage
           ../sage -python -m coverage run ./bin/sage-runtests --all --long -p2 --random-seed=286735480429121101562228604801325644303
         working-directory: ./worktree-image/src
 
       - name: Prepare coverage results
-        if: always() && (steps.incremental.outcome == 'success' || steps.build.outcome == 'success')
+        if: always() && steps.build.outcome == 'success'
         run: |
           ./venv/bin/python3 -m coverage combine src/.coverage/
           ./venv/bin/python3 -m coverage xml
           find . -name *coverage*
         working-directory: ./worktree-image
 
       - name: Upload coverage to codecov
-        if: always() && (steps.incremental.outcome == 'success' || steps.build.outcome == 'success')
+        if: always() && steps.build.outcome == 'success'
         uses: codecov/codecov-action@v3
         with:
           files: ./worktree-image/coverage.xml

.github/workflows/ci-conda.yml

@@ -34,7 +34,9 @@ jobs:
       matrix:
         os: [ubuntu-latest, macos-latest]
         python: ['3.9', '3.10', '3.11']
-        conda-env: [environment, environment-optional]
+        # Optional environment is disabled for now as its not yet working
+        # environment: [environment, environment-optional]
+        conda-env: [environment]
 
     steps:
       - uses: actions/checkout@v3
@@ -100,19 +102,20 @@ jobs:
           SAGE_NUM_THREADS: 2
 
       - name: Verify dependencies
-        if: always()
+        if: success() || failure()
         shell: bash -l {0}
         run: pip check
 
       - name: Test
+        if: success() || failure()
         shell: bash -l {0}
         run: ./sage -t --all -p0
 
       - name: Print logs
+        if: always()
         run: |
           for file in $(find . -type f -name "*.log"); do
               echo "::group::$file"
               cat "$file"
               echo "::endgroup::"
           done
-        if: always()

.github/workflows/doc-build.yml

@@ -44,11 +44,13 @@ jobs:
           # (This keeps mtimes of unchanged files unchanged and mtimes of changed files newer than unchanged files.)
           # Finally we reset the index to "old". (This keeps all mtimes unchanged.)
           # The changed files now show up as uncommitted changes.
+          # The final "git add -N" makes sure that files that were added in "new" do not show
+          # as untracked files, which would be removed by "git clean -fx".
           git worktree add --detach worktree-image
           rm -rf /sage/.git && mv worktree-image/.git /sage/
           rm -rf worktree-image && ln -s /sage worktree-image
           if [ ! -f worktree-image/.gitignore ]; then cp .gitignore worktree-image/; fi
-          (cd worktree-image && git add -A && git commit --allow-empty -m "old" -a && git tag -f old && git reset --hard new && git reset old)
+          (cd worktree-image && git add -A && git commit --quiet --allow-empty -m "old" -a && git tag -f old && git reset --hard new && git reset --quiet old && git add -N . && git status)
           # Keep track of changes to built HTML
           new_version=$(cat src/VERSION.txt); (cd /sage/local/share/doc/sage/html/en && find . -name "*.html" | xargs sed -i '/class="sidebar-brand-text"/s/Sage [0-9a-z.]* /Sage '$new_version' /'; git init && (echo "*.svg binary"; echo "*.pdf binary") >> .gitattributes && (echo ".buildinfo"; echo '*.inv'; echo '.git*'; echo '*.svg'; echo '*.pdf'; echo '*.png'; echo 'searchindex.js') > .gitignore; git add -A && git commit --quiet -m "old")
 

.gitignore

@@ -22,6 +22,7 @@
 /confdefs.h
 
 /m4/sage_spkg_configures.m4
+/m4/sage_spkg_versions*.m4
 
 # no longer generated, but may still be in user worktrees
 /src/lib/pkgconfig
@@ -175,14 +176,32 @@ build/bin/sage-build-env-config
 /pkgs/*/.tox
 
 /pkgs/sagemath-objects/setup.cfg
+/pkgs/sagemath-bliss/setup.cfg
+/pkgs/sagemath-coxeter3/setup.cfg
+/pkgs/sagemath-mcqd/setup.cfg
+/pkgs/sagemath-meataxe/setup.cfg
+/pkgs/sagemath-sirocco/setup.cfg
+/pkgs/sagemath-tdlib/setup.cfg
 /pkgs/sagemath-categories/setup.cfg
 /pkgs/sagemath-environment/setup.cfg
 /pkgs/sagemath-repl/setup.cfg
 /pkgs/sagemath-objects/pyproject.toml
+/pkgs/sagemath-bliss/pyproject.toml
+/pkgs/sagemath-coxeter3/pyproject.toml
+/pkgs/sagemath-mcqd/pyproject.toml
+/pkgs/sagemath-meataxe/pyproject.toml
+/pkgs/sagemath-sirocco/pyproject.toml
+/pkgs/sagemath-tdlib/pyproject.toml
 /pkgs/sagemath-categories/pyproject.toml
 /pkgs/sagemath-environment/pyproject.toml
 /pkgs/sagemath-repl/pyproject.toml
 /pkgs/sagemath-objects/requirements.txt
+/pkgs/sagemath-bliss/requirements.txt
+/pkgs/sagemath-coxeter3/requirements.txt
+/pkgs/sagemath-mcqd/requirements.txt
+/pkgs/sagemath-meataxe/requirements.txt
+/pkgs/sagemath-sirocco/requirements.txt
+/pkgs/sagemath-tdlib/requirements.txt
 /pkgs/sagemath-categories/requirements.txt
 /pkgs/sagemath-environment/requirements.txt
 /pkgs/sagemath-repl/requirements.txt

.vscode/settings.json

@@ -27,7 +27,7 @@
     "python.linting.enabled": true,
     // The following pycodestyle arguments are the same as the pycodestyle-minimal
     // tox environnment, see the file SAGE_ROOT/src/tox.ini
-    "python.linting.pycodestyleArgs": ["--select= E111,E21,E222,E227,E251,E271,E303,E306,E401,E502,E701,E702,E703,E71,E72,W291,W293,W391,W605"],
+    "python.linting.pycodestyleArgs": ["--select= E111,E21,E222,E227,E25,E271,E303,E306,E401,E502,E701,E702,E703,E71,E72,W291,W293,W391,W605"],
     "cSpell.words": [
         "furo",
         "Conda",

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.1.beta5
+version: 10.1.rc0
 doi: 10.5281/zenodo.593563
-date-released: 2023-07-01
+date-released: 2023-08-13
 repository-code: "https://github.com/sagemath/sage"
 url: "https://www.sagemath.org/"

README.md

@@ -10,7 +10,7 @@
 >   "Creating a Viable Open Source Alternative to
 >   Magma, Maple, Mathematica, and MATLAB"
 
->   Copyright (C) 2005-2022 The Sage Development Team
+>   Copyright (C) 2005-2023 The Sage Development Team
 
 https://www.sagemath.org
 
@@ -65,7 +65,7 @@ your Windows. Make sure you allocate WSL sufficient RAM; 5GB is known to work, w
 Then all instructions for installation in Linux apply.
 
 As an alternative, you can also run Linux on Windows using Docker (see
-above) or other virtualization solutions.
+below) or other virtualization solutions.
 
 [macOS] Preparing the Platform
 ------------------------------
@@ -416,6 +416,18 @@ You need to install `sage_conf`, a wheelhouse of various python packages. You ca
 
 **NOTE:** You can find `sage` and `sagemath` pip packages but with these packages, you will encounter `ModuleNotFoundError`.
 
+SageMath Docker images
+----------------------
+
+[![Docker Status](http://dockeri.co/image/sagemath/sagemath)](https://hub.docker.com/r/sagemath/sagemath)
+
+SageMath is available on Docker Hub and can be downloaded by:
+``` bash
+docker pull sagemath/sagemath
+```
+
+Currently, only stable versions are kept up to date.
+
 Troubleshooting
 ---------------
 

VERSION.txt

@@ -1 +1 @@
-SageMath version 10.1.beta5, Release Date: 2023-07-01
+SageMath version 10.1.rc0, Release Date: 2023-08-13