Added sympy extension

.github/workflows/macosmatrix.yml

@@ -54,7 +54,7 @@ jobs:
     #  if: runner.os=='macOS'
     - run: brew install catch2 # Issues with binary packages when cross-compiling...
       if: (runner.os=='macOS')&&(matrix.cfg.cross!=true)
-    - run: brew install graphviz ; brew install --formula doxygen ; python -m pip install --upgrade pip ; pip install --upgrade wheel setuptools sphinx breathe sphinx_rtd_theme sphinx-tabs sphinx-issues sphinx-reredirects furo sphinx-math-dollar
+    - run: brew install graphviz ; brew install --formula doxygen ; python -m pip install --upgrade pip ; pip install --upgrade wheel setuptools sphinx breathe sphinx_rtd_theme sphinx-tabs sphinx-issues sphinx-reredirects furo sphinx-math-dollar sympy
       if: runner.os=='macOS'
     - run: |
         wget https://github.com/lebarsfa/ibex-lib/releases/download/ibex-2.8.9.20250626/ibex_${{ matrix.cfg.arch }}_${{ matrix.cfg.runtime }}.zip --no-check-certificate -nv
@@ -80,7 +80,7 @@ jobs:
     - run: |
         pip install --no-deps --no-index *.whl
         python -c "import sys; print(sys.version)" ; python examples/02_centered_form/main.py
-        pip install numpy --prefer-binary
+        pip install numpy sympy --prefer-binary
         python -m unittest discover codac.tests
         cd build && ctest -C Release -V --output-on-failure
         cd ..

.github/workflows/tests.yml

@@ -45,10 +45,10 @@ jobs:
         sudo sh -c 'echo "deb [trusted=yes] https://webperso.ensta.fr/packages/$(if [ -z "$(. /etc/os-release && echo $UBUNTU_CODENAME)" ]; then echo debian/$(. /etc/os-release && echo $VERSION_CODENAME); else echo ubuntu/$(. /etc/os-release && echo $UBUNTU_CODENAME); fi) ./" > /etc/apt/sources.list.d/ensta-bretagne.list'
         sudo apt update
 
-        sudo apt-get -y install flex bison catch2 # libeigen3-dev
+        sudo apt-get -y install flex bison catch2 pybind11-dev # libeigen3-dev
 
         # For documentation
-        pip install sphinx breathe sphinx-issues sphinx-tabs sphinx_rtd_theme
+        pip install sphinx breathe sphinx-issues sphinx-tabs sphinx_rtd_theme sympy
         sudo apt-get -y install doxygen graphviz
 
         # Doxygen might need to be upgraded
@@ -61,7 +61,7 @@ jobs:
         #pip install --upgrade pyibex==1.8.0
 
         # Fort Python tests
-        pip install numpy
+        pip install numpy sympy
 
         pwd
         ls
@@ -121,7 +121,7 @@ jobs:
         cd ../examples
 
         cd 01_batman/
-        mkdir build ; cd build ; cmake -DCMAKE_PREFIX_PATH="~/ibex-lib/build_install;~/codac/build_install" -DCMAKE_BUILD_TYPE=Debug .. ; make ; ./codac_example
+        mkdir build ; cd build ; cmake -DCMAKE_PREFIX_PATH="$HOME/ibex-lib/build_install;$HOME/codac/build_install" -DCMAKE_BUILD_TYPE=Debug .. ; make ; ./codac_example
 
         cd ../../02_centered_form/
-        mkdir build ; cd build ; cmake -DCMAKE_PREFIX_PATH="~/ibex-lib/build_install;~/codac/build_install" -DCMAKE_BUILD_TYPE=Debug .. ; make ; ./codac_example
+        mkdir build ; cd build ; cmake -DCMAKE_PREFIX_PATH="$HOME/ibex-lib/build_install;$HOME/codac/build_install" -DCMAKE_BUILD_TYPE=Debug .. ; make ; ./codac_example

.github/workflows/vcmatrix.yml

@@ -56,7 +56,7 @@ jobs:
       if: runner.os=='Windows'
     #- run: choco install -y -r --no-progress eigen --version=3.4.0.20240224 ${{ matrix.cfg.choco_flags }}
     #  if: runner.os=='Windows'
-    - run: choco install -y -r --no-progress graphviz doxygen.install & python -m pip install --upgrade pip & pip install --upgrade wheel setuptools sphinx breathe sphinx-issues sphinx-tabs sphinx_rtd_theme sphinx-reredirects furo sphinx-math-dollar
+    - run: choco install -y -r --no-progress graphviz doxygen.install & python -m pip install --upgrade pip & pip install --upgrade wheel setuptools sphinx breathe sphinx-issues sphinx-tabs sphinx_rtd_theme sphinx-reredirects furo sphinx-math-dollar sympy
       if: runner.os=='Windows'
     - run: |
         wget https://github.com/lebarsfa/ibex-lib/releases/download/ibex-2.8.9.20250626/ibex.2.8.9.20250626.nupkg --no-check-certificate -nv
@@ -80,7 +80,7 @@ jobs:
     - run: |
         pip install --no-deps --no-index *.whl
         python -c "import sys; print(sys.version)" ; python examples/02_centered_form/main.py
-        pip install numpy --prefer-binary
+        pip install numpy sympy --prefer-binary
         python -m unittest discover codac.tests
         cd build && ctest -C Release -V --output-on-failure
         cd ..

doc/manual/manual/extensions/index.rst

@@ -5,7 +5,8 @@ Codac extensions
 
 .. toctree::
 
+   sympy/index.rst
    capd/index.rst
+
 ..   ibex/index.rst
-..   sympy/index.rst
 ..   unsupported/index.rst