From 9027a861dbd05f7635f46cbb57e0f47c48f11b55 Mon Sep 17 00:00:00 2001 From: Daniel Weindl Date: Fri, 15 Dec 2023 16:17:32 +0100 Subject: [PATCH] .. --- python/sdist/amici/de_export.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/python/sdist/amici/de_export.py b/python/sdist/amici/de_export.py index e3ebbdcaea..2694f753ad 100644 --- a/python/sdist/amici/de_export.py +++ b/python/sdist/amici/de_export.py @@ -2674,7 +2674,7 @@ def _get_unique_root( return None for root in roots: - if (root_found - root.get_val()).is_zero: + if sp.simplify(root_found - root.get_val()) == 0: return root.get_id() # create an event for a new root function