change sage_docbuild and some files in installation and developer

enriqueartal · enriqueartal · commit 006b301c5eaa · 2025-08-31T19:39:29.000+02:00
diff --git a/src/doc/en/developer/doctesting.rst b/src/doc/en/developer/doctesting.rst
diff --git a/src/doc/en/installation/arch-develop.txt b/src/doc/en/installation/arch-develop.txt
@@ -0,0 +1 @@
+$ sudo pacman -S autoconf automake git github-cli gnupg libtool openssh
diff --git a/src/doc/en/installation/arch-optional.txt b/src/doc/en/installation/arch-optional.txt
@@ -0,0 +1,3 @@
+$ sudo pacman -S 4ti2 bliss clang coin-or-cbc coxeter giac graphviz igraph \
+      intel-oneapi-tbb libxml2 lrs pari-elldata pari-galpol pari-seadata \
+      pdf2svg perl-term-readline-gnu polymake sbcl symengine
diff --git a/src/doc/en/installation/arch-recommended.txt b/src/doc/en/installation/arch-recommended.txt
@@ -0,0 +1,3 @@
+$ sudo pacman -S ffmpeg gnu-free-fonts imagemagick libjpeg-turbo pandoc \
+      texlive-core texlive-langchinese texlive-langcyrillic \
+      texlive-langjapanese texlive-latexextra texlive-luatex
diff --git a/src/doc/en/installation/arch.txt b/src/doc/en/installation/arch.txt
@@ -0,0 +1,8 @@
+$ sudo pacman -S bc binutils boost brial bzip2 cblas cddlib cliquer cmake \
+      ecl eclib fflas-ffpack fplll gap gc gcc gcc-fortran gd gf2x gfan glpk \
+      gmp-ecm gsl iml lapack lcalc libatomic_ops libbraiding libhomfly \
+      linbox lrcalc m4 m4ri m4rie make maxima-fas meson mpfi nauty ninja \
+      openblas openssl palp pari pari-elldata pari-galdata pari-galpol \
+      pari-seadata patch perl pkgconf planarity ppl primecount primesieve \
+      python python-tox qhull rankwidth readline singular sqlite3 \
+      suitesparse symmetrica sympow tachyon tar which zeromq zlib
diff --git a/src/doc/en/installation/debian-develop.txt b/src/doc/en/installation/debian-develop.txt
@@ -0,0 +1,2 @@
+$ sudo apt-get install autoconf automake gh git gpgconf libtool \
+      openssh-client
diff --git a/src/doc/en/installation/debian-optional.txt b/src/doc/en/installation/debian-optional.txt
@@ -0,0 +1,6 @@
+$ sudo apt-get install 4ti2 clang coinor-cbc coinor-libcbc-dev fricas \
+      graphviz libfile-slurp-perl libgiac-dev libgraphviz-dev libigraph-dev \
+      libisl-dev libjson-perl libmongodb-perl libnauty-dev libperl-dev \
+      libpolymake-dev libsvg-perl libtbb-dev libterm-readkey-perl \
+      libterm-readline-gnu-perl libxml2-dev libxml-libxslt-perl \
+      libxml-writer-perl lrslib pari-gp2c pdf2svg polymake sbcl xcas
diff --git a/src/doc/en/installation/debian-recommended.txt b/src/doc/en/installation/debian-recommended.txt
@@ -0,0 +1,7 @@
+$ sudo apt-get install default-jdk dvipng ffmpeg fonts-freefont-otf \
+      imagemagick latexmk libavdevice-dev libjpeg-dev pandoc tex-gyre \
+      texlive-fonts-recommended texlive-lang-chinese texlive-lang-cyrillic \
+      texlive-lang-english texlive-lang-european texlive-lang-french \
+      texlive-lang-german texlive-lang-italian texlive-lang-japanese \
+      texlive-lang-polish texlive-lang-portuguese texlive-lang-spanish \
+      texlive-latex-extra texlive-luatex texlive-xetex xindy
diff --git a/src/doc/en/installation/debian.txt b/src/doc/en/installation/debian.txt
@@ -0,0 +1,19 @@
+$ sudo apt-get install bc binutils bzip2 ca-certificates cliquer cmake curl \
+      ecl eclib-tools fflas-ffpack flex g++ gap gcc gengetopt gfan gfortran \
+      glpk-utils gmp-ecm lcalc libatomic-ops-dev libboost-dev \
+      libbraiding-dev libbrial-dev libbrial-groebner-dev libbz2-dev \
+      libcdd-dev libcdd-tools libcliquer-dev libcurl4-openssl-dev libec-dev \
+      libecm-dev libffi-dev libflint-dev libfplll-dev libfreetype-dev \
+      libgap-dev libgc-dev libgd-dev libgf2x-dev libgivaro-dev libglpk-dev \
+      libgmp-dev libgsl-dev libhomfly-dev libiml-dev liblfunction-dev \
+      liblinbox-dev liblrcalc-dev liblzma-dev libm4ri-dev libm4rie-dev \
+      libmpc-dev libmpfi-dev libmpfr-dev libncurses-dev libntl-dev \
+      libopenblas-dev libpari-dev libplanarity-dev libppl-dev \
+      libprimecount-dev libprimesieve-dev libpython3-dev libqhull-dev \
+      libreadline-dev librw-dev libsingular4-dev libsqlite3-dev libssl-dev \
+      libsuitesparse-dev libsymmetrica-dev libz-dev libzmq3-dev m4 make \
+      maxima maxima-sage meson nauty ninja-build openssl palp pari-doc \
+      pari-elldata pari-galdata pari-galpol pari-gp2c pari-seadata patch \
+      patchelf perl pkg-config planarity ppl-dev python3 python3-setuptools \
+      python3-venv qhull-bin singular singular-doc sqlite3 sympow tachyon \
+      tar texinfo tox xz-utils
diff --git a/src/doc/en/installation/fedora-develop.txt b/src/doc/en/installation/fedora-develop.txt
@@ -0,0 +1 @@
+$ sudo dnf install autoconf automake gh git gnupg2 libtool openssh
diff --git a/src/doc/en/installation/fedora-optional.txt b/src/doc/en/installation/fedora-optional.txt
@@ -0,0 +1,8 @@
+$ sudo dnf install 4ti2 4ti2-devel bliss bliss-devel clang coin-or-Cbc \
+      coin-or-Cbc-devel coxeter coxeter-devel coxeter-tools giac giac-devel \
+      gp2c graphviz graphviz-devel igraph igraph-devel isl isl-devel \
+      libnauty libnauty-devel libsemigroups libsemigroups-devel \
+      libxml2-devel lrslib lrslib-devel pari-galpol pari-seadata pdf2svg \
+      perl-ExtUtils-Embed perl-File-Slurp perl-JSON perl-MongoDB perl-SVG \
+      perl-TermReadKey perl-Term-ReadLine-Gnu perl-XML-LibXML \
+      perl-XML-LibXSLT perl-XML-Writer polymake sbcl tbb tbb-devel
diff --git a/src/doc/en/installation/fedora-recommended.txt b/src/doc/en/installation/fedora-recommended.txt
@@ -0,0 +1,9 @@
+$ sudo dnf install ffmpeg-free ffmpeg-free-devel gnu-free-mono-fonts \
+      gnu-free-sans-fonts gnu-free-serif-fonts ImageMagick latexmk \
+      libjpeg-turbo-devel pandoc texlive texlive-collection-langcjk \
+      texlive-collection-langcyrillic texlive-collection-langeuropean \
+      texlive-collection-langfrench texlive-collection-langgerman \
+      texlive-collection-langitalian texlive-collection-langjapanese \
+      texlive-collection-langpolish texlive-collection-langportuguese \
+      texlive-collection-langspanish texlive-collection-latexextra \
+      texlive-gnu-freefont texlive-luatex texlive-xindy
diff --git a/src/doc/en/installation/fedora.txt b/src/doc/en/installation/fedora.txt
@@ -0,0 +1,37 @@
+$ sudo dnf install binutils boost-devel brial brial-devel bzip2 bzip2-devel \
+      cddlib cddlib-devel cliquer cliquer-devel cmake curl diffutils ecl \
+      eclib eclib-devel fflas-ffpack-devel findutils flex flint flint-devel \
+      gap gap-core gap-devel gap-libs gap-pkg-ace gap-pkg-aclib \
+      gap-pkg-alnuth gap-pkg-anupq gap-pkg-atlasrep gap-pkg-autodoc \
+      gap-pkg-automata gap-pkg-autpgrp gap-pkg-browse gap-pkg-caratinterface \
+      gap-pkg-circle gap-pkg-congruence gap-pkg-crisp gap-pkg-crypting \
+      gap-pkg-crystcat gap-pkg-curlinterface gap-pkg-cvec \
+      gap-pkg-datastructures gap-pkg-digraphs gap-pkg-edim gap-pkg-ferret \
+      gap-pkg-fga gap-pkg-fining gap-pkg-float gap-pkg-format gap-pkg-forms \
+      gap-pkg-fplsa gap-pkg-fr gap-pkg-francy gap-pkg-genss \
+      gap-pkg-groupoids gap-pkg-grpconst gap-pkg-images gap-pkg-io \
+      gap-pkg-irredsol gap-pkg-json gap-pkg-jupyterviz gap-pkg-lpres \
+      gap-pkg-nq gap-pkg-openmath gap-pkg-orb gap-pkg-permut gap-pkg-polenta \
+      gap-pkg-polycyclic gap-pkg-primgrp gap-pkg-profiling gap-pkg-radiroot \
+      gap-pkg-recog gap-pkg-resclasses gap-pkg-scscp gap-pkg-semigroups \
+      gap-pkg-singular gap-pkg-smallgrp gap-pkg-smallsemi gap-pkg-sophus \
+      gap-pkg-spinsym gap-pkg-standardff gap-pkg-tomlib gap-pkg-transgrp \
+      gap-pkg-transgrp-data gap-pkg-utils gap-pkg-uuid gap-pkg-xmod \
+      gap-pkg-zeromqinterface gc gcc gcc-c++ gcc-gfortran gc-devel gd \
+      gd-devel gengetopt gf2x gf2x-devel gfan givaro givaro-devel glpk \
+      glpk-devel glpk-utils gmp gmp-devel gmp-ecm gmp-ecm-devel gsl \
+      gsl-devel iml iml-devel info L-function L-function-devel libatomic_ops \
+      libatomic_ops-devel libbraiding-devel libcurl-devel libffi \
+      libffi-devel libfplll libfplll-devel libgap libhomfly-devel libmpc \
+      libmpc-devel linbox linbox-devel lrcalc-devel m4 m4ri-devel \
+      m4rie-devel make mathjax3 maxima maxima-runtime-ecl meson mpfi-devel \
+      mpfr-devel nauty ncurses-devel ninja-build ntl-devel openblas-devel \
+      openssl openssl-devel palp pari-devel pari-elldata pari-galdata \
+      pari-galpol pari-gp pari-seadata patch patchelf perl \
+      perl-ExtUtils-MakeMaker perl-IPC-Cmd pkg-config planarity \
+      planarity-devel ppl ppl-devel primecount primecount-devel primesieve \
+      primesieve-devel python3 python3-devel python3-setuptools \
+      python3-virtualenv qhull qhull-devel readline-devel rw-devel Singular \
+      Singular-devel sqlite sqlite-devel suitesparse suitesparse-devel \
+      symmetrica-devel sympow tachyon tachyon-devel tar texinfo tox which \
+      xgap xz xz-devel zeromq zeromq-devel zlib-devel
diff --git a/src/doc/en/installation/homebrew-develop.txt b/src/doc/en/installation/homebrew-develop.txt
@@ -0,0 +1 @@
+$ brew install autoconf automake gh git gnupg libtool
diff --git a/src/doc/en/installation/homebrew-optional.txt b/src/doc/en/installation/homebrew-optional.txt
@@ -0,0 +1,2 @@
+$ brew install apaffenholz/polymake/polymake cbc fricas graphviz igraph isl \
+      libxml2 llvm nauty pdf2svg sbcl symengine tbb
diff --git a/src/doc/en/installation/homebrew-recommended.txt b/src/doc/en/installation/homebrew-recommended.txt
@@ -0,0 +1 @@
+$ brew install ffmpeg imagemagick jpeg-turbo pandoc texinfo
diff --git a/src/doc/en/installation/homebrew.txt b/src/doc/en/installation/homebrew.txt
@@ -0,0 +1,6 @@
+$ brew install bdw-gc boost cddlib cmake curl ecl flint fplll freetype gcc \
+      gd gengetopt gfortran glpk gmp gsl libatomic_ops libffi libiconv \
+      libmpc libpng maxima meson mpfi mpfr nauty ncurses ninja ntl openblas \
+      openssl pari pari-elldata pari-galdata pari-galpol pari-seadata \
+      patchelf pkgconf ppl primecount primesieve python3 python-setuptools \
+      qhull readline singular sqlite suite-sparse texinfo tox xz zeromq zlib
diff --git a/src/doc/en/installation/meson.rst b/src/doc/en/installation/meson.rst
@@ -136,7 +136,7 @@ Depending on your distribution, install the following packages:
     At least Fedora 41 is required.
 
    .. literalinclude:: fedora.txt
-      :language: bash
+      :language: console
 
 .. tab:: Arch Linux
 
@@ -163,10 +163,10 @@ We also recommend to install the Python package manager
 
 To compile and install Sage in editable install, then just use:
 
-.. code-block:: bash
+.. code-block:: console
 
-    uv venv
-    uv pip install \
+    $ uv venv
+    $ uv pip install \
         meson-python \
         "cypari2 >=2.2.1" \
         "cython >=3.0, != 3.0.3, != 3.1.0" \
@@ -176,7 +176,7 @@ To compile and install Sage in editable install, then just use:
         "numpy >=1.25" \
         jinja2 \
         setuptools
-    uv sync --frozen --inexact --no-build-isolation
+    $ uv sync --frozen --inexact --no-build-isolation
 
 You can then start Sage from the command line with ``./sage``
 or run the tests with ``./sage -t``.
@@ -220,9 +220,12 @@ Remarks
 .. note::
 
   You can update the conda lock files by running ``tools/update-conda.py``.
-  In order to update the conda environment afterwards use::
+  In order to update the conda environment afterwards use:
+
+    .. code-block:: console
+
 
-    $ mamba env update --file environment-3.12-linux.yml --name sage-dev
+        $ mamba env update --file environment-3.12-linux.yml --name sage-dev
 
 
 Background information
diff --git a/src/doc/en/installation/opensuse-develop.txt b/src/doc/en/installation/opensuse-develop.txt
@@ -0,0 +1 @@
+$ sudo zypper install autoconf automake gh git gpg2 libtool openssh
diff --git a/src/doc/en/installation/opensuse-optional.txt b/src/doc/en/installation/opensuse-optional.txt
@@ -0,0 +1,5 @@
+$ sudo zypper install 4ti2 4ti2-devel bliss bliss-devel coxeter fricas \
+      giac-devel gp2c graphviz libxml2 llvm lrslib lrslib-devel pari-elldata \
+      pari-galpol pari-nftables pari-seadata pdf2svg \
+      perl\(Term::ReadLine::Gnu\) pkgconfig\(isl\) \
+      pkgconfig\(libsemigroups\) polymake sbcl symengine tbb
diff --git a/src/doc/en/installation/opensuse-recommended.txt b/src/doc/en/installation/opensuse-recommended.txt
@@ -0,0 +1,2 @@
+$ sudo zypper install ffmpeg gnu-free-fonts ImageMagick libjpeg-devel pandoc \
+      texlive texlive-luatex xindy
diff --git a/src/doc/en/installation/opensuse.txt b/src/doc/en/installation/opensuse.txt
@@ -0,0 +1,20 @@
+$ sudo zypper install bc binutils boost-devel brial-devel bzip2 \
+      ca-certificates cddlib-tools cliquer cliquer-devel cmake curl \
+      diffutils edge-addition-planarity-suite \
+      edge-addition-planarity-suite-devel findutils flint-devel fplll \
+      fplll-devel gawk gcc gcc-c++ gcc-fortran gd gfan glibc-locale-base \
+      glpk glpk-devel gmp-devel gzip iml-devel libbraiding-devel \
+      libhomfly-devel libopenssl-3-devel libprimecount-devel m4 make mathjax \
+      maxima-exec-clisp meson mpc-devel mpfi-devel nauty nauty-devel ninja \
+      ntl-devel openblas-devel pari-devel pari-galdata pari-gp patch \
+      patchelf perl pkgconf pkgconfig\(atomic_ops\) pkgconfig\(bdw-gc\) \
+      pkgconfig\(bzip2\) pkgconfig\(cddlib\) pkgconfig\(fflas-ffpack\) \
+      pkgconfig\(fplll\) pkgconfig\(freetype2\) pkgconfig\(gdlib\) \
+      pkgconfig\(gf2x\) pkgconfig\(givaro\) pkgconfig\(gsl\) \
+      pkgconfig\(libcurl\) pkgconfig\(libffi\) pkgconfig\(liblzma\) \
+      pkgconfig\(libpng16\) pkgconfig\(libzmq\) pkgconfig\(linbox\) \
+      pkgconfig\(m4ri\) pkgconfig\(m4rie\) pkgconfig\(mpfr\) \
+      pkgconfig\(ncurses\) pkgconfig\(ncursesw\) pkgconfig\(readline\) \
+      pkgconfig\(sqlite3\) pkgconfig\(zlib\) ppl-devel primecount primesieve \
+      python3 python3-devel python3-setuptools qhull-devel readline-devel \
+      suitesparse-devel sympow tachyon tar texinfo which xz
diff --git a/src/doc/en/installation/source.rst b/src/doc/en/installation/source.rst
diff --git a/src/doc/en/installation/void-develop.txt b/src/doc/en/installation/void-develop.txt
diff --git a/src/doc/en/installation/void-optional.txt b/src/doc/en/installation/void-optional.txt
diff --git a/src/doc/en/installation/void-recommended.txt b/src/doc/en/installation/void-recommended.txt
diff --git a/src/doc/en/installation/void.txt b/src/doc/en/installation/void.txt
diff --git a/src/sage_docbuild/conf.py b/src/sage_docbuild/conf.py

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+$ sudo pacman -S autoconf automake git github-cli gnupg libtool openssh`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+$ sudo pacman -S 4ti2 bliss clang coin-or-cbc coxeter giac graphviz igraph \`
	`2`	`+ intel-oneapi-tbb libxml2 lrs pari-elldata pari-galpol pari-seadata \`
	`3`	`+ pdf2svg perl-term-readline-gnu polymake sbcl symengine`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+$ sudo pacman -S ffmpeg gnu-free-fonts imagemagick libjpeg-turbo pandoc \`
	`2`	`+ texlive-core texlive-langchinese texlive-langcyrillic \`
	`3`	`+ texlive-langjapanese texlive-latexextra texlive-luatex`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	`+$ sudo apt-get install autoconf automake gh git gpgconf libtool \`
	`2`	`+ openssh-client`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+$ sudo dnf install autoconf automake gh git gnupg2 libtool openssh`