From fc7032ac301f53d5df192324af382b2e1decbfb6 Mon Sep 17 00:00:00 2001
From: Daniel Lubarov <daniel@lubarov.com>
Date: Mon, 5 Feb 2024 17:15:59 -0800
Subject: [PATCH] From<SymbolicExpression<F>> for SymbolicExpressionExt<EF>

---
 machine/src/symbolic/symbolic_expression_ext.rs | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/machine/src/symbolic/symbolic_expression_ext.rs b/machine/src/symbolic/symbolic_expression_ext.rs
index 653aa481..6ae05aee 100644
--- a/machine/src/symbolic/symbolic_expression_ext.rs
+++ b/machine/src/symbolic/symbolic_expression_ext.rs
@@ -22,6 +22,16 @@ impl<EF: Field> From<SymbolicVariable<EF>> for SymbolicExpressionExt<EF> {
     }
 }
 
+impl<F, EF> From<SymbolicExpression<F>> for SymbolicExpressionExt<EF>
+where
+    F: Field,
+    EF: ExtensionField<F>,
+{
+    fn from(value: SymbolicExpression<F>) -> Self {
+        Self::from_base(value)
+    }
+}
+
 impl<EF> AbstractField for SymbolicExpressionExt<EF>
 where
     EF: Field,