Specialize prime in the ChainComplex trait for Nassau resolutions

JoeyBF · Oct 9, 2024 · 325952e · 325952e
1 parent b12b53b
commit 325952e
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/ext/src/nassau.rs b/ext/src/nassau.rs
@@ -399,10 +399,6 @@ pub struct Resolution<M: ZeroModule<Algebra = MilnorAlgebra>> {
 }
 
 impl<M: ZeroModule<Algebra = MilnorAlgebra>> Resolution<M> {
-    pub fn prime(&self) -> ValidPrime {
-        TWO
-    }
-
     pub fn name(&self) -> &str {
         &self.name
     }
@@ -954,6 +950,10 @@ impl<M: ZeroModule<Algebra = MilnorAlgebra>> ChainComplex for Resolution<M> {
     type Homomorphism = FreeModuleHomomorphism<FreeModule<Self::Algebra>>;
     type Module = FreeModule<Self::Algebra>;
 
+    fn prime(&self) -> ValidPrime {
+        TWO
+    }
+
     fn algebra(&self) -> Arc<Self::Algebra> {
         self.zero_module.algebra()
     }