From 00a6119c8071450016ca3e8cd0afe2823d6853cc Mon Sep 17 00:00:00 2001
From: Danny Willems <be.danny.willems@gmail.com>
Date: Tue, 17 Dec 2024 16:44:35 +0100
Subject: [PATCH] mvpoly/monomials: allow to artificially increase the degree

---
 mvpoly/src/monomials.rs | 15 +++++++++++----
 1 file changed, 11 insertions(+), 4 deletions(-)

diff --git a/mvpoly/src/monomials.rs b/mvpoly/src/monomials.rs
index 67d3127403..e08be206fa 100644
--- a/mvpoly/src/monomials.rs
+++ b/mvpoly/src/monomials.rs
@@ -554,12 +554,19 @@ impl<F: PrimeField, const N: usize, const D: usize> From<F> for Sparse<F, N, D>
     }
 }
 
-impl<F: PrimeField, const N: usize, const D: usize, const M: usize> From<Sparse<F, N, D>>
-    for Result<Sparse<F, M, D>, String>
+impl<F: PrimeField, const N: usize, const D: usize, const M: usize, const D_PRIME: usize>
+    From<Sparse<F, N, D>> for Result<Sparse<F, M, D_PRIME>, String>
 {
-    fn from(poly: Sparse<F, N, D>) -> Result<Sparse<F, M, D>, String> {
+    fn from(poly: Sparse<F, N, D>) -> Result<Sparse<F, M, D_PRIME>, String> {
         if M < N {
-            return Err("The number of variables must be greater than N".to_string());
+            return Err(format!(
+                "The final number of variables {M} must be greater than {N}"
+            ));
+        }
+        if D_PRIME < D {
+            return Err(format!(
+                "The final degree {D_PRIME} must be greater than initial degree {D}"
+            ));
         }
         let mut monomials = HashMap::new();
         poly.monomials.iter().for_each(|(exponents, coeff)| {