From 3a55a2f4101345bb250c7aad3f97506297e49336 Mon Sep 17 00:00:00 2001
From: Henry de Valence <hdevalence@hdevalence.ca>
Date: Sun, 12 Mar 2017 23:17:38 -0700
Subject: [PATCH] Add a test for radix-51 multiplication

---
 src/field.rs | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/src/field.rs b/src/field.rs
index 92d7d31..fd5ba22 100644
--- a/src/field.rs
+++ b/src/field.rs
@@ -1034,6 +1034,14 @@ mod test {
         assert_eq!(asq, &a*&a);
     }
 
+    #[test]
+    fn mul64_on_a() {
+        let a: [u64;5] = [838547684720132, 293808819440897, 1085520638549020, 231251532116217, 416286470530165];
+        let asq_constant_from_sage: [u64; 5] = [1696437425706869, 260630435370367, 277335390860868, 1743763050813710, 1739636627710249];
+        let asq = mul64(&a, &a.clone());
+        assert_eq!(asq, asq_constant_from_sage);
+    }
+
     #[test]
     fn a_square_vs_a_squared_constant() {
         let a = FieldElement::from_bytes(&A_BYTES);