BooleanFunction to Piecewise

Author: dweindl

.github/workflows/test_sbml_semantic_test_suite.yml

@@ -45,6 +45,7 @@ jobs:
       uses: ./.github/actions/install-apt-dependencies
 
     - run: AMICI_PARALLEL_COMPILE="" ./scripts/installAmiciSource.sh
+    - run: venv/bin/python -m pip install https://github.com/dweindl/sbmlmath/archive/main.zip
     - run: AMICI_PARALLEL_COMPILE="" ./scripts/run-SBMLTestsuite.sh ${{ matrix.cases }}
 
     - name: "Upload artifact: SBML semantic test suite results"

python/sdist/amici/sbml_import.py

@@ -24,7 +24,7 @@
 from sbmlmath import SBMLMathMLParser, TimeSymbol, CSymbol
 import numpy as np
 import sympy as sp
-from sympy.logic.boolalg import BooleanFalse, BooleanTrue
+from sympy.logic.boolalg import BooleanFalse, BooleanTrue, BooleanFunction
 
 from . import has_clibs
 from .de_model import DEModel
@@ -2904,6 +2904,7 @@ def _sympy_from_sbml_math(
                 definition_url="http://www.sbml.org/sbml/symbols/avogadro",
             )
             expr = expr.subs(avogadro, sp.Float(float(avogadro)))
+
             # replace other symbols, e.g. for handling hardcoded parameters
             expr = expr.subs(
                 {
@@ -2929,6 +2930,12 @@ def _sympy_from_sbml_math(
             expr = expr.evalf()
             _check_unsupported_functions_sbml(expr, expression_type=ele_name)
 
+        # boolean to numeric piecewise
+        if isinstance(expr, BooleanFunction):
+            from sbmlmath.mathml_parser import _bool2num
+
+            expr = _bool2num(expr)
+
         # piecewise to heavisides
         if piecewise_to_heaviside:
             try: