fmt

arkworks-rs · Nov 26, 2024 · 7a3f208 · 7a3f208
1 parent 1d9cbcf
commit 7a3f208
Show file tree

Hide file tree

Showing 4 changed files with 32 additions and 15 deletions.
diff --git a/poly/src/evaluations/multivariate/multilinear/mod.rs b/poly/src/evaluations/multivariate/multilinear/mod.rs
@@ -45,7 +45,21 @@ type DefaultHasher = fnv::FnvHasher;
 /// Index represents a point, which is a vector in {0,1}^`num_vars` in little
 /// endian form. For example, `0b1011` represents `P(1,1,0,1)`
 pub trait MultilinearExtension<F: Field>:
-    Sized + Clone + Debug + Hash + PartialEq + Eq + Add + Neg + Zero + CanonicalSerialize + CanonicalDeserialize + for<'a> AddAssign<&'a Self> + for<'a> SubAssign<&'a Self> + Index<usize> + Polynomial<F, Point = Vec<F>>
+    Sized
+    + Clone
+    + Debug
+    + Hash
+    + PartialEq
+    + Eq
+    + Add
+    + Neg
+    + Zero
+    + CanonicalSerialize
+    + CanonicalDeserialize
+    + for<'a> AddAssign<&'a Self>
+    + for<'a> SubAssign<&'a Self>
+    + Index<usize>
+    + Polynomial<F, Point = Vec<F>>
 {
     /// Returns the number of variables in `self`
     fn num_vars(&self) -> usize;

diff --git a/poly/src/evaluations/univariate/mod.rs b/poly/src/evaluations/univariate/mod.rs
@@ -73,9 +73,7 @@ impl<'a, F: FftField, D: EvaluationDomain<F>> Mul<&'a Evaluations<F, D>> for &Ev
     }
 }
 
-impl<'a, F: FftField, D: EvaluationDomain<F>> MulAssign<&'a Self>
-    for Evaluations<F, D>
-{
+impl<'a, F: FftField, D: EvaluationDomain<F>> MulAssign<&'a Self> for Evaluations<F, D> {
     #[inline]
     fn mul_assign(&mut self, other: &'a Self) {
         assert_eq!(self.domain, other.domain, "domains are unequal");
@@ -109,9 +107,7 @@ impl<'a, F: FftField, D: EvaluationDomain<F>> Add<&'a Evaluations<F, D>> for &Ev
     }
 }
 
-impl<'a, F: FftField, D: EvaluationDomain<F>> AddAssign<&'a Self>
-    for Evaluations<F, D>
-{
+impl<'a, F: FftField, D: EvaluationDomain<F>> AddAssign<&'a Self> for Evaluations<F, D> {
     #[inline]
     fn add_assign(&mut self, other: &'a Self) {
         assert_eq!(self.domain, other.domain, "domains are unequal");
@@ -132,9 +128,7 @@ impl<'a, F: FftField, D: EvaluationDomain<F>> Sub<&'a Evaluations<F, D>> for &Ev
     }
 }
 
-impl<'a, F: FftField, D: EvaluationDomain<F>> SubAssign<&'a Self>
-    for Evaluations<F, D>
-{
+impl<'a, F: FftField, D: EvaluationDomain<F>> SubAssign<&'a Self> for Evaluations<F, D> {
     #[inline]
     fn sub_assign(&mut self, other: &'a Self) {
         assert_eq!(self.domain, other.domain, "domains are unequal");

diff --git a/poly/src/polynomial/mod.rs b/poly/src/polynomial/mod.rs
@@ -14,7 +14,19 @@ pub mod univariate;
 
 /// Describes the common interface for univariate and multivariate polynomials
 pub trait Polynomial<F: Field>:
-    Sized + Clone + Debug + Hash + PartialEq + Eq + Add + Neg + Zero + CanonicalSerialize + CanonicalDeserialize + for<'a> AddAssign<&'a Self> + for<'a> SubAssign<&'a Self>
+    Sized
+    + Clone
+    + Debug
+    + Hash
+    + PartialEq
+    + Eq
+    + Add
+    + Neg
+    + Zero
+    + CanonicalSerialize
+    + CanonicalDeserialize
+    + for<'a> AddAssign<&'a Self>
+    + for<'a> SubAssign<&'a Self>
 {
     /// The type of evaluation points for this polynomial.
     type Point: Sized + Clone + Ord + Debug + Sync + Hash;

diff --git a/poly/src/polynomial/univariate/dense.rs b/poly/src/polynomial/univariate/dense.rs
@@ -163,10 +163,7 @@ impl<F: FftField> DensePolynomial<F> {
 
     /// Divide `self` by the vanishing polynomial for the domain `domain`.
     /// Returns the quotient and remainder of the division.
-    pub fn divide_by_vanishing_poly<D: EvaluationDomain<F>>(
-        &self,
-        domain: D,
-    ) -> (Self, Self) {
+    pub fn divide_by_vanishing_poly<D: EvaluationDomain<F>>(&self, domain: D) -> (Self, Self) {
         let domain_size = domain.size();
 
         if self.coeffs.len() < domain_size {