diff --git a/circom_algebra/src/modular_arithmetic.rs b/circom_algebra/src/modular_arithmetic.rs index 7c5dc26..a717ed3 100644 --- a/circom_algebra/src/modular_arithmetic.rs +++ b/circom_algebra/src/modular_arithmetic.rs @@ -39,8 +39,7 @@ pub fn sub(left: &BigInt, right: &BigInt, field: &BigInt) -> BigInt { modulus(&(left - right), field) } pub fn div(left: &BigInt, right: &BigInt, field: &BigInt) -> Result { - let right_inverse = - right.mod_inverse(field).ok_or(ArithmeticError::DivisionByZero)?; + let right_inverse = right.mod_inverse(field).ok_or(ArithmeticError::DivisionByZero)?; let res = mul(left, &right_inverse, field); Ok(res) } diff --git a/program_structure/src/intermediate_representation/degree_meta.rs b/program_structure/src/intermediate_representation/degree_meta.rs index 80f83f8..ea20f11 100644 --- a/program_structure/src/intermediate_representation/degree_meta.rs +++ b/program_structure/src/intermediate_representation/degree_meta.rs @@ -28,9 +28,7 @@ impl Ord for Degree { match (self, other) { // `Constant <= _` (Constant, Constant) => Ordering::Equal, - (Constant, Linear) | (Constant, Quadratic) | (Constant, NonQuadratic) => { - Ordering::Less - } + (Constant, Linear) | (Constant, Quadratic) | (Constant, NonQuadratic) => Ordering::Less, // `Linear <= _` (Linear, Linear) => Ordering::Equal, (Linear, Quadratic) | (Linear, NonQuadratic) => Ordering::Less,