Add proptest for Subquotient

JoeyBF · Oct 7, 2024 · a49229b · a49229b
1 parent ba36c88
commit a49229b
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/ext/crates/fp/src/matrix/subquotient.rs b/ext/crates/fp/src/matrix/subquotient.rs
@@ -239,6 +239,7 @@ pub mod arbitrary {
 #[cfg(test)]
 mod tests {
     use expect_test::expect;
+    use proptest::prelude::*;
 
     use super::*;
 
@@ -272,4 +273,14 @@ mod tests {
 
         assert_eq!(sq.gens().count(), 1);
     }
+
+    proptest! {
+        #[test]
+        fn test_sum_quotient_gens_complement_is_ambient(sq: Subquotient) {
+            let quotient_dim = sq.zeros().dimension();
+            let gens_dim = sq.gens().count();
+            let complement_dim = sq.complement_pivots().count();
+            assert_eq!(quotient_dim + gens_dim + complement_dim, sq.ambient_dimension());
+        }
+    }
 }