From 3f7d06138a22c419fc35ac7f3eeeb34a7213cd68 Mon Sep 17 00:00:00 2001
From: Henry de Valence <hdevalence@hdevalence.ca>
Date: Sun, 8 Jan 2017 14:51:00 -0500
Subject: [PATCH] Test that SQRT_M1 is a square root of -1

---
 src/constants.rs | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/src/constants.rs b/src/constants.rs
index 656f4eb..b6be635 100644
--- a/src/constants.rs
+++ b/src/constants.rs
@@ -1442,3 +1442,17 @@ pub const base: [[PreComputedPoint; 8]; 32] = [
         xy2d:    FieldElement([-20430234, 14955537, -24126347, 8124619, -5369288, -5990470, 30468147, -13900640, 18423289, 4177476]),
     },
 ]];
+
+#[cfg(test)]
+mod test {
+    use field::FieldElement;
+    use constants;
+
+    #[test]
+    /// Test that SQRT_M1 is a square root of -1
+    fn test_sqrt_minus_one() {
+        let minus_one = FieldElement([-1,0,0,0,0,0,0,0,0,0]);
+        let sqrt_m1_sq = &constants::SQRT_M1 * &constants::SQRT_M1;
+        assert_eq!(minus_one, sqrt_m1_sq);
+    }
+}