changes in 30429

sagemath · Sep 9, 2020 · 07b9746 · 07b9746
1 parent a4fa8cf
commit 07b9746
Showing 1 changed file with 7 additions and 2 deletions.
diff --git a/src/sage/geometry/polyhedron/combinatorial_polyhedron/bit_vector_operations.cc b/src/sage/geometry/polyhedron/combinatorial_polyhedron/bit_vector_operations.cc
@@ -213,8 +213,8 @@ size_t get_next_level_simple(\
 
     // Step 1:
     for (size_t j = 0; j < n_faces - 1; j++){
-        intersection(faces[j], faces[n_faces - 1], maybe_newfaces[j], face_length);
-        unite(faces_coatom_rep[j], faces_coatom_rep[n_faces - 1], maybe_newfaces_coatom_rep[j], face_length_coatom_rep);
+        intersection(maybe_newfaces[j], faces[j], faces[n_faces - 1], face_length);
+        unite(maybe_newfaces_coatom_rep[j], faces_coatom_rep[j], faces_coatom_rep[n_faces - 1], face_length_coatom_rep);
         is_not_newface[j] = 0;
     }
 
@@ -227,6 +227,11 @@ size_t get_next_level_simple(\
             continue;
         }
 
+        if (is_not_newface[j]) {
+            // No further tests needed, if it is empty.
+            continue;
+        }
+
         // Step 3:
         for (size_t k = 0; k < n_visited_all; k++){
             // Testing if maybe_newfaces[j] is contained in one,