From f0ae72ba74b2af5478451b151b20690b2270b43c Mon Sep 17 00:00:00 2001
From: Nicholas Ward <npward@berkeley.edu>
Date: Tue, 13 Jul 2021 16:15:56 -0700
Subject: [PATCH] constraints in base field (fixes low degree test)

---
 src/gates/insertion.rs | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

diff --git a/src/gates/insertion.rs b/src/gates/insertion.rs
index adf213df..c5b7f067 100644
--- a/src/gates/insertion.rs
+++ b/src/gates/insertion.rs
@@ -99,12 +99,10 @@ impl<F: Extendable<D>, const D: usize> Gate<F, D> for InsertionGate<F, D> {
             let insert_here = vars.local_wires[self.wires_insert_here_for_round_r(r)];
 
             // The two equality constraints.
-            let equality_dummy_constraint: ExtensionAlgebra<F::Extension, D> =
-                (difference * equality_dummy - insert_here).into();
-            constraints.extend(equality_dummy_constraint.to_basefield_array());
-            let mul_to_zero_constraint: ExtensionAlgebra<F::Extension, D> =
-                ((F::Extension::ONE - insert_here) * difference).into();
-            constraints.extend(mul_to_zero_constraint.to_basefield_array());
+            let equality_dummy_constraint = difference * equality_dummy - insert_here;
+            constraints.push(equality_dummy_constraint);
+            let mul_to_zero_constraint = (F::Extension::ONE - insert_here) * difference;
+            constraints.push(mul_to_zero_constraint);
 
             let mut new_item = element_to_insert * insert_here.into() + already_inserted.into();
             if r > 0 {