aboutsummaryrefslogtreecommitdiff
path: root/pyecsca/ec/efd/shortw/jacobian-3/variables
diff options
context:
space:
mode:
Diffstat (limited to 'pyecsca/ec/efd/shortw/jacobian-3/variables')
-rw-r--r--pyecsca/ec/efd/shortw/jacobian-3/variables6
1 files changed, 4 insertions, 2 deletions
diff --git a/pyecsca/ec/efd/shortw/jacobian-3/variables b/pyecsca/ec/efd/shortw/jacobian-3/variables
index a4d2b49..397e688 100644
--- a/pyecsca/ec/efd/shortw/jacobian-3/variables
+++ b/pyecsca/ec/efd/shortw/jacobian-3/variables
@@ -6,5 +6,7 @@ variable Z
neutral X = 1
neutral Y = 1
neutral Z = 0
-satisfying x = X/Z^2
-satisfying y = Y/Z^3
+satisfying ZZ = Z^2
+satisfying ZZZ = ZZ*Z
+satisfying x = X/ZZ
+satisfying y = Y/ZZZ