From 5f0c3ddcda211ad490bb96044b5b878e2d28c436 Mon Sep 17 00:00:00 2001
From: J08nY
Date: Tue, 7 Nov 2023 16:35:08 +0100
Subject: Fix assumption eval.

Fixes #53.
---
 pyecsca/ec/efd        | 2 +-
 pyecsca/ec/formula.py | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

(limited to 'pyecsca')

diff --git a/pyecsca/ec/efd b/pyecsca/ec/efd
index 6eb98c8..e82e4df 160000
--- a/pyecsca/ec/efd
+++ b/pyecsca/ec/efd
@@ -1 +1 @@
-Subproject commit 6eb98c87eb99da90397249741fa841ebd0e432be
+Subproject commit e82e4dfddbcf866f18992beeed622e5c0083ca63
diff --git a/pyecsca/ec/formula.py b/pyecsca/ec/formula.py
index a22cf51..fff3210 100644
--- a/pyecsca/ec/formula.py
+++ b/pyecsca/ec/formula.py
@@ -9,7 +9,7 @@ from typing import List, Set, Any, ClassVar, MutableMapping, Tuple, Union, Dict
 
 from importlib_resources.abc import Traversable
 from public import public
-from sympy import FF, symbols, Poly, Rational
+from sympy import FF, symbols, Poly, Rational, simplify
 from ..misc.cache import sympify
 
 from .context import ResultAction
@@ -214,7 +214,7 @@ class Formula(ABC):
                         args.append(res)
                     return expression.func(*args)
 
-                expr = resolve(expr, k)
+                expr = resolve(simplify(expr), k)
                 poly = Poly(expr, symbols(param), domain=k)
                 roots = poly.ground_roots()
                 for root in roots:
-- 
cgit v1.2.3-70-g09d2