From a4c86a6b081dfb540579fa16217d78d9d16e6448 Mon Sep 17 00:00:00 2001
From: wborgeaud <williamborgeaud@gmail.com>
Date: Fri, 18 Jun 2021 11:44:06 +0200
Subject: [PATCH] `lagrange.rs` -> `interpolation.rs`

---
 src/field/{lagrange.rs => interpolation.rs} | 0
 src/field/mod.rs                            | 2 +-
 src/fri/verifier.rs                         | 2 +-
 src/gadgets/interpolation.rs                | 8 +++++---
 src/gates/interpolation.rs                  | 2 +-
 src/polynomial/commitment.rs                | 2 +-
 6 files changed, 9 insertions(+), 7 deletions(-)
 rename src/field/{lagrange.rs => interpolation.rs} (100%)

diff --git a/src/field/lagrange.rs b/src/field/interpolation.rs
similarity index 100%
rename from src/field/lagrange.rs
rename to src/field/interpolation.rs
diff --git a/src/field/mod.rs b/src/field/mod.rs
index 179fb10d..15efe280 100644
--- a/src/field/mod.rs
+++ b/src/field/mod.rs
@@ -3,7 +3,7 @@ pub mod crandall_field;
 pub mod extension_field;
 pub mod fft;
 pub mod field;
-pub(crate) mod lagrange;
+pub(crate) mod interpolation;
 
 #[cfg(test)]
 mod field_testing;
diff --git a/src/fri/verifier.rs b/src/fri/verifier.rs
index 6320505e..4c8f4d8c 100644
--- a/src/fri/verifier.rs
+++ b/src/fri/verifier.rs
@@ -2,7 +2,7 @@ use anyhow::{ensure, Result};
 
 use crate::field::extension_field::{flatten, Extendable, FieldExtension, Frobenius};
 use crate::field::field::Field;
-use crate::field::lagrange::{barycentric_weights, interpolate, interpolate2};
+use crate::field::interpolation::{barycentric_weights, interpolate, interpolate2};
 use crate::fri::FriConfig;
 use crate::hash::hash_n_to_1;
 use crate::merkle_proofs::verify_merkle_proof;
diff --git a/src/gadgets/interpolation.rs b/src/gadgets/interpolation.rs
index a94eb582..40b91c1e 100644
--- a/src/gadgets/interpolation.rs
+++ b/src/gadgets/interpolation.rs
@@ -1,9 +1,10 @@
+use std::marker::PhantomData;
+
 use crate::circuit_builder::CircuitBuilder;
 use crate::field::extension_field::target::ExtensionTarget;
 use crate::field::extension_field::Extendable;
 use crate::gates::interpolation::InterpolationGate;
 use crate::target::Target;
-use std::marker::PhantomData;
 
 impl<F: Extendable<D>, const D: usize> CircuitBuilder<F, D> {
     /// Interpolate two points. No need for an `InterpolationGate` since the coefficients
@@ -56,15 +57,16 @@ impl<F: Extendable<D>, const D: usize> CircuitBuilder<F, D> {
 
 #[cfg(test)]
 mod tests {
+    use std::convert::TryInto;
+
     use super::*;
     use crate::circuit_data::CircuitConfig;
     use crate::field::crandall_field::CrandallField;
     use crate::field::extension_field::quartic::QuarticCrandallField;
     use crate::field::extension_field::FieldExtension;
     use crate::field::field::Field;
-    use crate::field::lagrange::{interpolant, interpolate};
+    use crate::field::interpolation::{interpolant, interpolate};
     use crate::witness::PartialWitness;
-    use std::convert::TryInto;
 
     #[test]
     fn test_interpolate() {
diff --git a/src/gates/interpolation.rs b/src/gates/interpolation.rs
index ac2ca49f..ccf8d57d 100644
--- a/src/gates/interpolation.rs
+++ b/src/gates/interpolation.rs
@@ -6,7 +6,7 @@ use crate::circuit_builder::CircuitBuilder;
 use crate::field::extension_field::algebra::PolynomialCoeffsAlgebra;
 use crate::field::extension_field::target::ExtensionTarget;
 use crate::field::extension_field::{Extendable, FieldExtension};
-use crate::field::lagrange::interpolant;
+use crate::field::interpolation::interpolant;
 use crate::gadgets::polynomial::PolynomialCoeffsExtAlgebraTarget;
 use crate::gates::gate::{Gate, GateRef};
 use crate::generator::{SimpleGenerator, WitnessGenerator};
diff --git a/src/polynomial/commitment.rs b/src/polynomial/commitment.rs
index ce978d96..c67bed2f 100644
--- a/src/polynomial/commitment.rs
+++ b/src/polynomial/commitment.rs
@@ -4,7 +4,7 @@ use rayon::prelude::*;
 use crate::field::extension_field::Extendable;
 use crate::field::extension_field::{FieldExtension, Frobenius};
 use crate::field::field::Field;
-use crate::field::lagrange::interpolant2;
+use crate::field::interpolation::interpolant2;
 use crate::fri::{prover::fri_proof, verifier::verify_fri_proof, FriConfig};
 use crate::merkle_tree::MerkleTree;
 use crate::plonk_challenger::Challenger;