From f6b229b19c191f209267922ee5b49047b8ab4d8a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mamy=20Andr=C3=A9-Ratsimbazafy?= <mamy_github@numforge.co>
Date: Thu, 13 Feb 2020 00:11:45 +0100
Subject: [PATCH] Modular addition and substraction tests

---
 tests/test_finite_fields.nim | 51 ++++++++++++++++++++++++++++++++++++
 1 file changed, 51 insertions(+)

diff --git a/tests/test_finite_fields.nim b/tests/test_finite_fields.nim
index 45b0f90..8828de5 100644
--- a/tests/test_finite_fields.nim
+++ b/tests/test_finite_fields.nim
@@ -26,4 +26,55 @@ proc main() =
         x += y
         check: bool(z == x)
 
+      block:
+        var x, y, z: Fp[Fake101]
+
+        x.fromUint(80'u32)
+        y.fromUint(21'u32)
+        z.fromUint(0'u32)
+
+        x += y
+        check: bool(z == x)
+
+      block:
+        var x, y, z: Fp[Fake101]
+
+        x.fromUint(80'u32)
+        y.fromUint(22'u32)
+        z.fromUint(1'u32)
+
+        x += y
+        check: bool(z == x)
+
+    test "Substraction mod 101":
+      block:
+        var x, y, z: Fp[Fake101]
+
+        x.fromUint(80'u32)
+        y.fromUint(10'u32)
+        z.fromUint(70'u32)
+
+        x -= y
+        check: bool(z == x)
+
+      block:
+        var x, y, z: Fp[Fake101]
+
+        x.fromUint(80'u32)
+        y.fromUint(80'u32)
+        z.fromUint(0'u32)
+
+        x -= y
+        check: bool(z == x)
+
+      block:
+        var x, y, z: Fp[Fake101]
+
+        x.fromUint(80'u32)
+        y.fromUint(81'u32)
+        z.fromUint(100'u32)
+
+        x -= y
+        check: bool(z == x)
+
 main()