🔀 Merge pull request #134 from DVLab-NTU/fix/qcir_equiv_prematurely_a…

…pplies_todd 🐛 fix qcir equiv prematurely applies TODD
DVLab-NTU · Jun 2, 2024 · d0474cd · d0474cd
2 parents b5f5531 + 0b51084
commit d0474cd
Showing 1 changed file with 8 additions and 5 deletions.
diff --git a/src/tableau/tableau_optimization.cpp b/src/tableau/tableau_optimization.cpp
@@ -388,11 +388,14 @@ void merge_rotations(Tableau& tableau) {
         return;
     }
 
-    auto& clifford  = std::get<StabilizerTableau>(tableau.front());
-    auto& rotations = std::get<std::vector<PauliRotation>>(tableau.back());
-
-    merge_rotations(rotations);
-    absorb_clifford_rotations(clifford, rotations);
+    auto& clifford   = std::get<StabilizerTableau>(tableau.front());
+    auto& rotations  = std::get<std::vector<PauliRotation>>(tableau.back());
+    auto n_rotations = SIZE_MAX;
+    do {  // NOLINT(cppcoreguidelines-avoid-do-while)
+        n_rotations = rotations.size();
+        merge_rotations(rotations);
+        absorb_clifford_rotations(clifford, rotations);
+    } while (rotations.size() < n_rotations);
 }
 
 // phase polynomial optimization