Merge pull request #111 from valida-xyz/sym_expr_from

From<SymbolicExpression<F>> for SymbolicExpressionExt<EF>
valida-xyz · Feb 6, 2024 · 5dff7bb · 5dff7bb
2 parents 6157bd9 + fc7032a
commit 5dff7bb
Showing 1 changed file with 10 additions and 0 deletions.
diff --git 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,