From 8ff37cdc9fd366627670ea9271b510fbb7377881 Mon Sep 17 00:00:00 2001
From: J08nY
Date: Wed, 20 Sep 2023 12:55:32 +0200
Subject: Bump EFD version and fix formula names.

---
 pyecsca/ec/coordinates.py | 18 ++++++++++++++++++
 pyecsca/ec/efd            |  2 +-
 2 files changed, 19 insertions(+), 1 deletion(-)

(limited to 'pyecsca/ec')

diff --git a/pyecsca/ec/coordinates.py b/pyecsca/ec/coordinates.py
index 82b74e7..8cc21bc 100644
--- a/pyecsca/ec/coordinates.py
+++ b/pyecsca/ec/coordinates.py
@@ -33,6 +33,10 @@ class CoordinateModel:
     """Variables that the coordinate model uses."""
     satisfying: List[Module]
     """Relationship between the coordinate system and affine coordinates."""
+    toaffine: List[Module]
+    """Map to affine coordinates from system coordinates."""
+    tosystem: List[Module]
+    """Map from coordinate system to affine coordinates."""
     parameters: List[str]
     """Coordinate system parameters."""
     assumptions: List[Module]
@@ -78,6 +82,8 @@ class EFDCoordinateModel(CoordinateModel):
         self.curve_model = curve_model
         self.variables = []
         self.satisfying = []
+        self.toaffine = []
+        self.tosystem = []
         self.parameters = []
         self.assumptions = []
         self.neutral = []
@@ -126,6 +132,18 @@ class EFDCoordinateModel(CoordinateModel):
                         self.satisfying.append(code)
                     except SyntaxError:
                         pass
+                elif line.startswith("toaffine"):
+                    try:
+                        code = parse(line[9:].replace("^", "**"), mode="exec")
+                        self.toaffine.append(code)
+                    except SyntaxError:
+                        pass
+                elif line.startswith("tosystem"):
+                    try:
+                        code = parse(line[9:].replace("^", "**"), mode="exec")
+                        self.tosystem.append(code)
+                    except SyntaxError:
+                        pass
                 elif line.startswith("parameter"):
                     self.parameters.append(line[10:])
                 elif line.startswith("assume"):
diff --git a/pyecsca/ec/efd b/pyecsca/ec/efd
index bfecf9e..39ca92b 160000
--- a/pyecsca/ec/efd
+++ b/pyecsca/ec/efd
@@ -1 +1 @@
-Subproject commit bfecf9e69ae1b20f0fe1b83496407c2ac09cd720
+Subproject commit 39ca92b31719956dd72edaca20928d21fae30881
-- 
cgit v1.2.3-70-g09d2