chiark / gitweb /
fmt
authorSimon Tatham <anakin@pobox.com>
Sat, 12 Apr 2025 07:22:56 +0000 (08:22 +0100)
committerSimon Tatham <anakin@pobox.com>
Sat, 12 Apr 2025 07:22:56 +0000 (08:22 +0100)
src/finitenimber.rs

index 52c830d533d7fb323270566c51405a0dcc646014..38c7bf84874a8b21d75f26879bfc7c02df4892af 100644 (file)
@@ -1,6 +1,6 @@
 use core::cmp::max;
 use core::fmt::{Debug, Display, Formatter};
-use core::ops::{Add, Sub, Mul};
+use core::ops::{Add, Mul, Sub};
 
 type Word = u64; // element type of the vectors we use
 const WORDLEVELS: usize = 6; // 2^{2^6} = 64 = size of Word
@@ -294,7 +294,9 @@ impl<'a, 'b> Add<FiniteNimberRef<'a>> for FiniteNimberRef<'b> {
 
 impl<'a, 'b> Sub<FiniteNimberRef<'a>> for FiniteNimberRef<'b> {
     type Output = FiniteNimber;
-    fn sub(self, other: FiniteNimberRef<'a>) -> FiniteNimber { self + other }
+    fn sub(self, other: FiniteNimberRef<'a>) -> FiniteNimber {
+        self + other
+    }
 }
 
 impl<'a> FiniteNimberRef<'a> {
@@ -317,7 +319,11 @@ impl<'a> FiniteNimberRef<'a> {
         }
     }
 
-    fn mul_recurse(self, other: FiniteNimberRef<'a>, level: usize) -> FiniteNimber {
+    fn mul_recurse(
+        self,
+        other: FiniteNimberRef<'a>,
+        level: usize,
+    ) -> FiniteNimber {
         match level.checked_sub(1) {
             Some(sublevel) => {
                 let (alo, ahi) = self.split(sublevel);