diff options
| author | J08nY | 2023-11-07 16:35:08 +0100 |
|---|---|---|
| committer | J08nY | 2023-11-07 16:35:35 +0100 |
| commit | 5f0c3ddcda211ad490bb96044b5b878e2d28c436 (patch) | |
| tree | d23361b5022020a437327ac5af8861465bcb6bf8 /pyecsca | |
| parent | 82dc198ae6cca542ed99b4740a639dda870e6dda (diff) | |
| download | pyecsca-5f0c3ddcda211ad490bb96044b5b878e2d28c436.tar.gz pyecsca-5f0c3ddcda211ad490bb96044b5b878e2d28c436.tar.zst pyecsca-5f0c3ddcda211ad490bb96044b5b878e2d28c436.zip | |
Fix assumption eval.
Fixes #53.
Diffstat (limited to 'pyecsca')
| m--------- | pyecsca/ec/efd | 0 | ||||
| -rw-r--r-- | pyecsca/ec/formula.py | 4 |
2 files changed, 2 insertions, 2 deletions
diff --git a/pyecsca/ec/efd b/pyecsca/ec/efd -Subproject 6eb98c87eb99da90397249741fa841ebd0e432b +Subproject e82e4dfddbcf866f18992beeed622e5c0083ca6 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: |