From 6b94b8bfe0fbc967f71e2d8afe0627b9c891d326 Mon Sep 17 00:00:00 2001
From: Danny Willems <be.danny.willems@gmail.com>
Date: Wed, 16 Oct 2024 15:05:52 +0200
Subject: [PATCH] fixup! Arrabiata/Constraints: integrate mvpoly to compute
 cross-terms

---
 arrabiata/tests/constraints.rs | 22 +++++++++++++---------
 1 file changed, 13 insertions(+), 9 deletions(-)

diff --git a/arrabiata/tests/constraints.rs b/arrabiata/tests/constraints.rs
index 0741a6f4e8..7e9859b0b5 100644
--- a/arrabiata/tests/constraints.rs
+++ b/arrabiata/tests/constraints.rs
@@ -194,18 +194,22 @@ fn test_integration_with_mvpoly_to_compute_cross_terms() {
     let eval2: [Fp; NUMBER_OF_COLUMNS + NUMBER_OF_PUBLIC_INPUTS] =
         std::array::from_fn(|_| Fp::rand(&mut rng));
 
-    let polys = constraints
-        .iter()
-        .map(|c| {
-            println!("Converting into mvpoly the constraint: {:?}", c);
-            // Adding one to the maximum degree to account for the variable α.
-            Sparse::<
+    let polys =
+        constraints
+            .iter()
+            .map(|c| {
+                println!("Converting into mvpoly the constraint: {:?}", c);
+                // Adding one to the maximum degree to account for the variable α.
+                Sparse::<
                     Fp,
                     { NUMBER_OF_COLUMNS + NUMBER_OF_PUBLIC_INPUTS },
                     { MAX_DEGREE as usize + 1 },
-                >::from_expr::<Column, ChallengeTerm>(c.clone())
-        })
-        .collect();
+                >::from_expr::<Column, ChallengeTerm>(
+                    c.clone(),
+                    Some(NUMBER_OF_COLUMNS + NUMBER_OF_PUBLIC_INPUTS),
+                )
+            })
+            .collect();
     let _cross_terms =
         mvpoly::compute_combined_cross_terms(polys, alpha_1, alpha_2, eval1, eval2, u1, u2);
 }