diff --git a/ext/crates/fp/src/matrix/subquotient.rs b/ext/crates/fp/src/matrix/subquotient.rs index 04d2ea0a5..9a71826ff 100644 --- a/ext/crates/fp/src/matrix/subquotient.rs +++ b/ext/crates/fp/src/matrix/subquotient.rs @@ -96,10 +96,8 @@ impl Subquotient { /// The pivot columns of the complement to the subspace pub fn complement_pivots(&self) -> impl Iterator + '_ { - (0..self.ambient_dimension()).filter(|&i| { - !self.quotient.pivots().contains(&(i as isize)) - && !self.gens.pivots().contains(&(i as isize)) - }) + (0..self.ambient_dimension()) + .filter(|&i| self.quotient.pivots()[i] < 0 && self.gens.pivots()[i] < 0) } pub fn quotient(&mut self, elt: FpSlice) {