MVP

JoeyBF · Nov 27, 2023 · ad02235 · ad02235
1 parent 294ed62
commit ad02235
Show file tree

Hide file tree

Showing 39 changed files with 988 additions and 795 deletions.
diff --git a/ext/crates/algebra/benches/milnor.rs b/ext/crates/algebra/benches/milnor.rs
@@ -1,6 +1,6 @@
 use algebra::milnor_algebra::{PPartAllocation, PPartEntry, PPartMultiplier};
 use bencher::{benchmark_group, benchmark_main, Bencher};
-use fp::prime::ValidPrime;
+use fp::prime::{Prime, ValidPrime};
 
 fn ppart_inner<const MOD4: bool>(
     bench: &mut Bencher,
@@ -24,7 +24,7 @@ fn ppart_inner<const MOD4: bool>(
             if MOD4 {
                 assert!(c < 4);
             } else {
-                assert!(c < *p);
+                assert!(c < p.as_u32());
             }
         }
     });