Add files

src/poly/multivariate.rs

@@ -1 +1,11 @@
+use std::fmt::Debug;
+use ff::Field;
 
+// These are different form of multivariate polynomial
+pub mod coefficient;
+pub mod factored;
+pub mod composition;
+
+pub trait MultivariatePolynomial<F: Field>: Clone + Debug  {
+    fn interpolate(points: Vec<F>) -> Self;
+}

src/poly/multivariate/coefficient.rs

@@ -0,0 +1,25 @@
+use ff::Field;
+
+use crate::poly::Polynomial;
+
+use super::MultivariatePolynomial;
+
+#[derive(Clone, Debug)]
+pub struct CoefficientForm<F: Field> {
+    variables: u64,
+    coefficients: Vec<F>,
+}
+
+impl<F: Field> Polynomial<F> for CoefficientForm<F> {
+    type Point = Vec<F>;
+
+    fn evaluate(&self, point: &Self::Point) -> F {
+        todo!()
+    }
+}
+
+impl<F: Field> MultivariatePolynomial<F> for CoefficientForm<F> {
+    fn interpolate(points: Vec<F>) -> Self {
+        todo!()
+    }
+}

src/utils.rs

@@ -1 +0,0 @@
-pub mod arithmetic;

src/utils/arithmetic.rs

@@ -1,3 +0,0 @@
-use crate::poly::Polynomial;
-
-pub fn interpolate() -> () {}