From 9b43fe0664ef8c5ba7fee8e9bd4a4fceac664b63 Mon Sep 17 00:00:00 2001
From: J08nY
Date: Thu, 16 Nov 2023 16:19:53 +0100
Subject: Add formulas from GECC.

---
 test/data/formulas/add-gecc-322     |  3 +++
 test/data/formulas/add-gecc-322.op3 | 18 ++++++++++++++++++
 test/data/formulas/dbl-gecc-321     |  4 ++++
 test/data/formulas/dbl-gecc-321.op3 | 17 +++++++++++++++++
 4 files changed, 42 insertions(+)
 create mode 100644 test/data/formulas/add-gecc-322
 create mode 100644 test/data/formulas/add-gecc-322.op3
 create mode 100644 test/data/formulas/dbl-gecc-321
 create mode 100644 test/data/formulas/dbl-gecc-321.op3

(limited to 'test/data')

diff --git a/test/data/formulas/add-gecc-322 b/test/data/formulas/add-gecc-322
new file mode 100644
index 0000000..e174e1c
--- /dev/null
+++ b/test/data/formulas/add-gecc-322
@@ -0,0 +1,3 @@
+source GECC Algorithm 3.22
+coords jacobian-3
+assume Z2 = 1
diff --git a/test/data/formulas/add-gecc-322.op3 b/test/data/formulas/add-gecc-322.op3
new file mode 100644
index 0000000..731bcda
--- /dev/null
+++ b/test/data/formulas/add-gecc-322.op3
@@ -0,0 +1,18 @@
+T1 = Z1^2
+T2 = T1 * Z1
+T1 = T1 * X2
+T2 = T2 * Y2
+T1 = T1 - X1
+T2 = T2 - Y1
+Z3 = Z1 * T1
+T3 = T1^2
+T4 = T3 * T1
+T3 = T3 * X1
+T1 = 2 * T3
+X3 = T2^2
+X3 = X3 - T1
+X3 = X3 - T4
+T3 = T3 - X3
+T3 = T3 * T2
+T4 = T4 * Y1
+Y3 = T3 - T4
diff --git a/test/data/formulas/dbl-gecc-321 b/test/data/formulas/dbl-gecc-321
new file mode 100644
index 0000000..33c3b85
--- /dev/null
+++ b/test/data/formulas/dbl-gecc-321
@@ -0,0 +1,4 @@
+source GECC Algorithm 3.21
+parameter half
+assume half = 1/2
+coords jacobian-3
diff --git a/test/data/formulas/dbl-gecc-321.op3 b/test/data/formulas/dbl-gecc-321.op3
new file mode 100644
index 0000000..b9e7697
--- /dev/null
+++ b/test/data/formulas/dbl-gecc-321.op3
@@ -0,0 +1,17 @@
+T1 = Z1^2
+T2 = X1 - T1
+T1 = X1 + T1
+T2 = T2 * T1
+T2 = 3 * T2
+Y3 = 2 * Y1
+Z3 = Y3 * Z1
+Y3 = Y3^2
+T3 = Y3 * X1
+Y3 = Y3^2
+Y3 = Y3 * half
+X3 = T2^2
+T1 = 2 * T3
+X3 = X3 - T1
+T1 = T3 - X3
+T1 = T1 * T2
+Y3 = T1 - Y3
-- 
cgit v1.2.3-70-g09d2