aboutsummaryrefslogtreecommitdiff
path: root/pyecsca/ec/efd/shortw/jacobian/variables
diff options
context:
space:
mode:
Diffstat (limited to 'pyecsca/ec/efd/shortw/jacobian/variables')
-rw-r--r--pyecsca/ec/efd/shortw/jacobian/variables6
1 files changed, 4 insertions, 2 deletions
diff --git a/pyecsca/ec/efd/shortw/jacobian/variables b/pyecsca/ec/efd/shortw/jacobian/variables
index ddfbff6..86123a8 100644
--- a/pyecsca/ec/efd/shortw/jacobian/variables
+++ b/pyecsca/ec/efd/shortw/jacobian/variables
@@ -5,5 +5,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