From 3b767ca42f7a42fa87a518cbababee905057c9bb Mon Sep 17 00:00:00 2001
From: wborgeaud <williamborgeaud@gmail.com>
Date: Sun, 20 Mar 2022 07:26:40 +0100
Subject: [PATCH] `a_deg` should be degree of `a`

---
 field/src/polynomial/mod.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/field/src/polynomial/mod.rs b/field/src/polynomial/mod.rs
index 85f982e4..10394f52 100644
--- a/field/src/polynomial/mod.rs
+++ b/field/src/polynomial/mod.rs
@@ -526,9 +526,9 @@ mod tests {
     fn test_inv_mod_xn() {
         type F = GoldilocksField;
         let mut rng = thread_rng();
-        let a_deg = rng.gen_range(1..1_000);
+        let a_deg = rng.gen_range(0..1_000);
         let n = rng.gen_range(1..1_000);
-        let mut a = PolynomialCoeffs::new(F::rand_vec(a_deg));
+        let mut a = PolynomialCoeffs::new(F::rand_vec(a_deg + 1));
         if a.coeffs[0].is_zero() {
             a.coeffs[0] = F::ONE; // First coefficient needs to be nonzero.
         }