aboutsummaryrefslogtreecommitdiff
path: root/test/ec/test_formula.py
diff options
context:
space:
mode:
authorJ08nY2025-03-12 19:01:43 +0100
committerJ08nY2025-03-12 19:01:43 +0100
commit345d5883e5e75ed02282107127a8e65b67435247 (patch)
treed8a0e02575283412d19a46dba426a90f88e4e584 /test/ec/test_formula.py
parente4c50355c50934e508d9b6d4a957be17d12d8b25 (diff)
downloadpyecsca-345d5883e5e75ed02282107127a8e65b67435247.tar.gz
pyecsca-345d5883e5e75ed02282107127a8e65b67435247.tar.zst
pyecsca-345d5883e5e75ed02282107127a8e65b67435247.zip
Diffstat (limited to 'test/ec/test_formula.py')
-rw-r--r--test/ec/test_formula.py35
1 files changed, 18 insertions, 17 deletions
diff --git a/test/ec/test_formula.py b/test/ec/test_formula.py
index 137f243..a06203a 100644
--- a/test/ec/test_formula.py
+++ b/test/ec/test_formula.py
@@ -1,12 +1,25 @@
+import multiprocessing as mp
import pickle
from operator import itemgetter
from typing import Tuple
-import multiprocessing as mp
import pytest
-from sympy import FF, symbols
from importlib_resources import files, as_file
+from sympy import FF, symbols
+
import pyecsca.ec
+from pyecsca.ec.error import UnsatisfiedAssumptionError
+from pyecsca.ec.formula import (
+ AdditionFormula,
+ DoublingFormula,
+ LadderFormula,
+ CodeFormula,
+)
+from pyecsca.ec.formula.efd import (
+ AdditionEFDFormula,
+ DoublingEFDFormula,
+ LadderEFDFormula,
+)
from pyecsca.ec.formula.expand import expand_formula_set, expand_formula_set_parallel
from pyecsca.ec.formula.fliparoo import generate_fliparood_formulas
from pyecsca.ec.formula.graph import rename_ivs
@@ -22,23 +35,11 @@ from pyecsca.ec.formula.partitions import (
generate_partitioned_formulas,
)
from pyecsca.ec.formula.switch_sign import generate_switched_formulas
-from pyecsca.ec.mod import SymbolicMod, Mod, mod
-from pyecsca.misc.cfg import TemporaryConfig
-from pyecsca.ec.error import UnsatisfiedAssumptionError
+from pyecsca.ec.mod import SymbolicMod, mod
+from pyecsca.ec.model import ShortWeierstrassModel, MontgomeryModel, TwistedEdwardsModel
from pyecsca.ec.params import get_params, DomainParameters
from pyecsca.ec.point import Point
-from pyecsca.ec.model import ShortWeierstrassModel, MontgomeryModel, TwistedEdwardsModel
-from pyecsca.ec.formula.efd import (
- AdditionEFDFormula,
- DoublingEFDFormula,
- LadderEFDFormula,
-)
-from pyecsca.ec.formula import (
- AdditionFormula,
- DoublingFormula,
- LadderFormula,
- CodeFormula,
-)
+from pyecsca.misc.cfg import TemporaryConfig
@pytest.fixture()