From 74d040a91ca51c9f36e9dd0eb6fdfad6c92b0e37 Mon Sep 17 00:00:00 2001
From: Nadim Searight <ns241@st-andrews.ac.uk>
Date: Wed, 30 Apr 2025 16:11:23 +0100
Subject: [PATCH 1/2] added #include <libsemigroups/word-graph-view.hpp> to all
 files which use word-graph.hpp

---
 src/action.cpp            | 1 +
 src/gabow.cpp             | 1 +
 src/knuth-bendix-impl.cpp | 1 +
 src/paths.cpp             | 2 +-
 src/sims.cpp              | 1 +
 src/to-cong.cpp           | 1 +
 src/to-froidure-pin.cpp   | 1 +
 src/to-todd-coxeter.cpp   | 1 +
 src/word-graph.cpp        | 1 +
 9 files changed, 9 insertions(+), 1 deletion(-)

diff --git a/src/action.cpp b/src/action.cpp
index 7bdf7c1d..fc8a1a31 100644
--- a/src/action.cpp
+++ b/src/action.cpp
@@ -30,6 +30,7 @@
 #include <libsemigroups/bmat8.hpp>
 #include <libsemigroups/transf.hpp>
 #include <libsemigroups/word-graph.hpp>
+#include <libsemigroups/word-graph-helpers.hpp>
 
 #include <fmt/core.h>  // for format, print
 
diff --git a/src/gabow.cpp b/src/gabow.cpp
index 8311d38b..01c35a73 100644
--- a/src/gabow.cpp
+++ b/src/gabow.cpp
@@ -33,6 +33,7 @@
 #include <libsemigroups/forest.hpp>            // for Forest
 #include <libsemigroups/gabow.hpp>             // for Gabow
 #include <libsemigroups/word-graph.hpp>        // for WordGraph, word_graph
+#include <libsemigroups/word-graph-helpers.hpp> // for WordGraph helpers
 
 // pybind11....
 #include <pybind11/operators.h>  // for self, self_t, operator!=, operator*
diff --git a/src/knuth-bendix-impl.cpp b/src/knuth-bendix-impl.cpp
index afda5814..d9acf980 100644
--- a/src/knuth-bendix-impl.cpp
+++ b/src/knuth-bendix-impl.cpp
@@ -29,6 +29,7 @@
 #include <libsemigroups/runner.hpp>      // for Runner
 #include <libsemigroups/types.hpp>       // for word_type, letter_type
 #include <libsemigroups/word-graph.hpp>  // for WordGraph
+#include <libsemigroups/word-graph-helpers.hpp> // for WordGraph helpers
 
 // pybind11....
 #include <pybind11/chrono.h>
diff --git a/src/paths.cpp b/src/paths.cpp
index 5d7c35ba..091a5a60 100644
--- a/src/paths.cpp
+++ b/src/paths.cpp
@@ -30,7 +30,7 @@
 #include <libsemigroups/order.hpp>       // for order
 #include <libsemigroups/paths.hpp>       // for Paths
 #include <libsemigroups/word-graph.hpp>  // for WordGraph, word_graph
-
+#include <libsemigroups/word-graph-helpers.hpp> // for WordGraph helpers
 // pybind11....
 #include <pybind11/operators.h>  // for self, self_t, operator!=, operator*
 #include <pybind11/pybind11.h>   // for class_, make_iterator, init, enum_
diff --git a/src/sims.cpp b/src/sims.cpp
index f223d68d..8a832f74 100644
--- a/src/sims.cpp
+++ b/src/sims.cpp
@@ -26,6 +26,7 @@
 #include <libsemigroups/sims.hpp>       // for Sims1, Sims2, ....
 #include <libsemigroups/types.hpp>      // for word_type
 #include <libsemigroups/word-graph.hpp>  // for WordGraph
+#include <libsemigroups/word-graph-helpers.hpp> // for WordGraph Helpers
 
 // pybind11....
 #include <pybind11/functional.h>
diff --git a/src/to-cong.cpp b/src/to-cong.cpp
index 4836f42a..3c8d45d8 100644
--- a/src/to-cong.cpp
+++ b/src/to-cong.cpp
@@ -28,6 +28,7 @@
 #include <libsemigroups/to-cong.hpp>            // for to<Congruence>
 #include <libsemigroups/types.hpp>              // for word_type
 #include <libsemigroups/word-graph.hpp>         // for WordGraph
+#include <libsemigroups/word-graph-helpers.hpp> // for WordGraph helpers
 
 // pybind11....
 #include <pybind11/pybind11.h>
diff --git a/src/to-froidure-pin.cpp b/src/to-froidure-pin.cpp
index 25eb2b58..6a2b116f 100644
--- a/src/to-froidure-pin.cpp
+++ b/src/to-froidure-pin.cpp
@@ -33,6 +33,7 @@
 #include <libsemigroups/transf.hpp>              // for Transf
 #include <libsemigroups/types.hpp>               // for word_type
 #include <libsemigroups/word-graph.hpp>          // for WordGraph
+#include <libsemigroups/word-graph-helpers.hpp> // for WordGraph helpers
 
 // pybind11....
 #include <pybind11/pybind11.h>
diff --git a/src/to-todd-coxeter.cpp b/src/to-todd-coxeter.cpp
index 89a04c63..3340d49e 100644
--- a/src/to-todd-coxeter.cpp
+++ b/src/to-todd-coxeter.cpp
@@ -29,6 +29,7 @@
 #include <libsemigroups/todd-coxeter-class.hpp>  // for ToddCoxeter
 #include <libsemigroups/types.hpp>               // for congruence_kind
 #include <libsemigroups/word-graph.hpp>          // for WordGraph
+#include <libsemigroups/word-graph-helpers.hpp> // for WordGraph helpers
 
 // pybind11....
 #include <pybind11/pybind11.h>
diff --git a/src/word-graph.cpp b/src/word-graph.cpp
index f211f884..643c8a07 100644
--- a/src/word-graph.cpp
+++ b/src/word-graph.cpp
@@ -30,6 +30,7 @@
 #include <libsemigroups/constants.hpp>  // for operator!=, operator==
 #include <libsemigroups/detail/int-range.hpp>  // for IntegralRange<>::value_type
 #include <libsemigroups/word-graph.hpp>        // for WordGraph
+#include <libsemigroups/word-graph-helpers.hpp> // for WordGraph helpers
 
 // pybind11....
 #include <pybind11/operators.h>  // for self, self_t, operator!=, operator*

From 73fba8e315a28069dcfe069b65b01098b0530ee5 Mon Sep 17 00:00:00 2001
From: Nadim Searight <ns241@st-andrews.ac.uk>
Date: Wed, 30 Apr 2025 16:47:29 +0100
Subject: [PATCH 2/2] formatted

---
 src/action.cpp            |  2 +-
 src/cong.cpp              |  2 +-
 src/froidure-pin.cpp      |  2 +-
 src/gabow.cpp             |  4 ++--
 src/kambites.cpp          |  2 +-
 src/knuth-bendix-impl.cpp | 10 +++++-----
 src/knuth-bendix.cpp      |  2 +-
 src/konieczny.cpp         |  2 +-
 src/paths.cpp             | 10 +++++-----
 src/present.cpp           |  2 +-
 src/schreier-sims.cpp     |  2 +-
 src/sims.cpp              |  4 ++--
 src/to-cong.cpp           | 12 ++++++------
 src/to-froidure-pin.cpp   |  2 +-
 src/to-todd-coxeter.cpp   |  2 +-
 src/todd-coxeter.cpp      |  2 +-
 src/word-graph.cpp        |  4 ++--
 17 files changed, 33 insertions(+), 33 deletions(-)

diff --git a/src/action.cpp b/src/action.cpp
index fc8a1a31..f122b54f 100644
--- a/src/action.cpp
+++ b/src/action.cpp
@@ -29,8 +29,8 @@
 #include <libsemigroups/action.hpp>
 #include <libsemigroups/bmat8.hpp>
 #include <libsemigroups/transf.hpp>
-#include <libsemigroups/word-graph.hpp>
 #include <libsemigroups/word-graph-helpers.hpp>
+#include <libsemigroups/word-graph.hpp>
 
 #include <fmt/core.h>  // for format, print
 
diff --git a/src/cong.cpp b/src/cong.cpp
index 14319edb..206b102e 100644
--- a/src/cong.cpp
+++ b/src/cong.cpp
@@ -260,7 +260,7 @@ obviously infinite; ``False`` is returned if it is not.
     congruence has infinitely many classes.
 )pbdoc");
     }  // bind_cong
-  }  // namespace
+  }    // namespace
 
   void init_cong(py::module& m) {
     bind_cong<word_type>(m, "CongruenceWord");
diff --git a/src/froidure-pin.cpp b/src/froidure-pin.cpp
index cce539e6..42bc60e4 100644
--- a/src/froidure-pin.cpp
+++ b/src/froidure-pin.cpp
@@ -729,7 +729,7 @@ elements are sorted, or :any:`UNDEFINED` if *i* is greater than
 
       // TODO(1) are there some functions missing here?
     }  // bind_froidure_pin
-  }  // namespace
+  }    // namespace
 
   void init_froidure_pin(py::module& m) {
     // TODO(0) uncomment bind_froidure_pin<HPCombiTransf<16>>(m, "Transf16");
diff --git a/src/gabow.cpp b/src/gabow.cpp
index 01c35a73..85b9a130 100644
--- a/src/gabow.cpp
+++ b/src/gabow.cpp
@@ -32,8 +32,8 @@
 #include <libsemigroups/detail/int-range.hpp>  // for IntegralRange<>::value_type
 #include <libsemigroups/forest.hpp>            // for Forest
 #include <libsemigroups/gabow.hpp>             // for Gabow
-#include <libsemigroups/word-graph.hpp>        // for WordGraph, word_graph
-#include <libsemigroups/word-graph-helpers.hpp> // for WordGraph helpers
+#include <libsemigroups/word-graph-helpers.hpp>  // for WordGraph helpers
+#include <libsemigroups/word-graph.hpp>          // for WordGraph, word_graph
 
 // pybind11....
 #include <pybind11/operators.h>  // for self, self_t, operator!=, operator*
diff --git a/src/kambites.cpp b/src/kambites.cpp
index 58385183..6412b109 100644
--- a/src/kambites.cpp
+++ b/src/kambites.cpp
@@ -231,7 +231,7 @@ defined by a :any:`KambitesMultiStringView` object is obviously infinite;
   presented semigroup or monoid defined by *k* is infinite.
 )pbdoc");
     }  // bind_kambites
-  }  // namespace
+  }    // namespace
 
   void init_kambites(py::module& m) {
     // One call to bind is required per list of types
diff --git a/src/knuth-bendix-impl.cpp b/src/knuth-bendix-impl.cpp
index d9acf980..84fdbd15 100644
--- a/src/knuth-bendix-impl.cpp
+++ b/src/knuth-bendix-impl.cpp
@@ -25,11 +25,11 @@
 // libsemigroups....
 
 #include <libsemigroups/knuth-bendix.hpp>  // for KnuthBendixImpl, KnuthBendixImpl::option...
-#include <libsemigroups/obvinf.hpp>      // for is_obviously_infinite
-#include <libsemigroups/runner.hpp>      // for Runner
-#include <libsemigroups/types.hpp>       // for word_type, letter_type
-#include <libsemigroups/word-graph.hpp>  // for WordGraph
-#include <libsemigroups/word-graph-helpers.hpp> // for WordGraph helpers
+#include <libsemigroups/obvinf.hpp>              // for is_obviously_infinite
+#include <libsemigroups/runner.hpp>              // for Runner
+#include <libsemigroups/types.hpp>               // for word_type, letter_type
+#include <libsemigroups/word-graph-helpers.hpp>  // for WordGraph helpers
+#include <libsemigroups/word-graph.hpp>          // for WordGraph
 
 // pybind11....
 #include <pybind11/chrono.h>
diff --git a/src/knuth-bendix.cpp b/src/knuth-bendix.cpp
index 41d20a04..b320961b 100644
--- a/src/knuth-bendix.cpp
+++ b/src/knuth-bendix.cpp
@@ -398,7 +398,7 @@ redundant in this way, then ``None`` is returned.
                 });
       thing.def("next", [](NormalFormRange& nfr) { nfr.next(); });
     }  // bind_normal_form_range
-  }  // namespace
+  }    // namespace
 
   void init_knuth_bendix(py::module& m) {
     using RewriteTrie     = detail::RewriteTrie;
diff --git a/src/konieczny.cpp b/src/konieczny.cpp
index 8cbcfd58..c528587a 100644
--- a/src/konieczny.cpp
+++ b/src/konieczny.cpp
@@ -641,7 +641,7 @@ not already known.
    int
 )pbdoc");
     }  // bind_konieczny
-  }  // namespace
+  }    // namespace
 
   void init_konieczny(py::module& m) {
     bind_konieczny<BMat8>(m, "BMat8");
diff --git a/src/paths.cpp b/src/paths.cpp
index 091a5a60..94a835f6 100644
--- a/src/paths.cpp
+++ b/src/paths.cpp
@@ -26,11 +26,11 @@
 #include <vector>            // for vector
 
 // libsemigroups....
-#include <libsemigroups/constants.hpp>   // for operator!=, operator==
-#include <libsemigroups/order.hpp>       // for order
-#include <libsemigroups/paths.hpp>       // for Paths
-#include <libsemigroups/word-graph.hpp>  // for WordGraph, word_graph
-#include <libsemigroups/word-graph-helpers.hpp> // for WordGraph helpers
+#include <libsemigroups/constants.hpp>           // for operator!=, operator==
+#include <libsemigroups/order.hpp>               // for order
+#include <libsemigroups/paths.hpp>               // for Paths
+#include <libsemigroups/word-graph-helpers.hpp>  // for WordGraph helpers
+#include <libsemigroups/word-graph.hpp>          // for WordGraph, word_graph
 // pybind11....
 #include <pybind11/operators.h>  // for self, self_t, operator!=, operator*
 #include <pybind11/pybind11.h>   // for class_, make_iterator, init, enum_
diff --git a/src/present.cpp b/src/present.cpp
index d236dea3..3977cd3c 100644
--- a/src/present.cpp
+++ b/src/present.cpp
@@ -1346,7 +1346,7 @@ defined in the alphabet, and that the inverses act as semigroup inverses.
 
 )pbdoc");
     }  // bind_inverse_present
-  }  // namespace
+  }    // namespace
   void init_present(py::module& m) {
     bind_present<word_type>(m, "PresentationWords");
     bind_present<std::string>(m, "PresentationStrings");
diff --git a/src/schreier-sims.cpp b/src/schreier-sims.cpp
index e0739341..22742f9f 100644
--- a/src/schreier-sims.cpp
+++ b/src/schreier-sims.cpp
@@ -446,7 +446,7 @@ corresponding to the intersection of *S1* and *S2*.
 :raises LibsemigroupsError:  if *T* is not empty.
 )pbdoc");
     }  // bind_schreier_sims
-  }  // namespace
+  }    // namespace
 
   void init_schreier_sims(py::module& m) {
     // One call to bind is required per list of types
diff --git a/src/sims.cpp b/src/sims.cpp
index 8a832f74..0aa19092 100644
--- a/src/sims.cpp
+++ b/src/sims.cpp
@@ -25,8 +25,8 @@
 #include <libsemigroups/rx/ranges.hpp>  // for rx::begin, rx::end, rx::transform
 #include <libsemigroups/sims.hpp>       // for Sims1, Sims2, ....
 #include <libsemigroups/types.hpp>      // for word_type
-#include <libsemigroups/word-graph.hpp>  // for WordGraph
-#include <libsemigroups/word-graph-helpers.hpp> // for WordGraph Helpers
+#include <libsemigroups/word-graph-helpers.hpp>  // for WordGraph Helpers
+#include <libsemigroups/word-graph.hpp>          // for WordGraph
 
 // pybind11....
 #include <pybind11/functional.h>
diff --git a/src/to-cong.cpp b/src/to-cong.cpp
index 3c8d45d8..871a5b84 100644
--- a/src/to-cong.cpp
+++ b/src/to-cong.cpp
@@ -23,12 +23,12 @@
 #include <string>  // for string
 
 // libsemigroups headers
-#include <libsemigroups/cong-class.hpp>         // for Congruence
-#include <libsemigroups/froidure-pin-base.hpp>  // for FroidurePinBase
-#include <libsemigroups/to-cong.hpp>            // for to<Congruence>
-#include <libsemigroups/types.hpp>              // for word_type
-#include <libsemigroups/word-graph.hpp>         // for WordGraph
-#include <libsemigroups/word-graph-helpers.hpp> // for WordGraph helpers
+#include <libsemigroups/cong-class.hpp>          // for Congruence
+#include <libsemigroups/froidure-pin-base.hpp>   // for FroidurePinBase
+#include <libsemigroups/to-cong.hpp>             // for to<Congruence>
+#include <libsemigroups/types.hpp>               // for word_type
+#include <libsemigroups/word-graph-helpers.hpp>  // for WordGraph helpers
+#include <libsemigroups/word-graph.hpp>          // for WordGraph
 
 // pybind11....
 #include <pybind11/pybind11.h>
diff --git a/src/to-froidure-pin.cpp b/src/to-froidure-pin.cpp
index 6a2b116f..ad15c578 100644
--- a/src/to-froidure-pin.cpp
+++ b/src/to-froidure-pin.cpp
@@ -32,8 +32,8 @@
 #include <libsemigroups/todd-coxeter-class.hpp>  // for ToddCoxeter
 #include <libsemigroups/transf.hpp>              // for Transf
 #include <libsemigroups/types.hpp>               // for word_type
+#include <libsemigroups/word-graph-helpers.hpp>  // for WordGraph helpers
 #include <libsemigroups/word-graph.hpp>          // for WordGraph
-#include <libsemigroups/word-graph-helpers.hpp> // for WordGraph helpers
 
 // pybind11....
 #include <pybind11/pybind11.h>
diff --git a/src/to-todd-coxeter.cpp b/src/to-todd-coxeter.cpp
index 3340d49e..1b487063 100644
--- a/src/to-todd-coxeter.cpp
+++ b/src/to-todd-coxeter.cpp
@@ -28,8 +28,8 @@
 #include <libsemigroups/to-todd-coxeter.hpp>     // for to-todd-coxeter
 #include <libsemigroups/todd-coxeter-class.hpp>  // for ToddCoxeter
 #include <libsemigroups/types.hpp>               // for congruence_kind
+#include <libsemigroups/word-graph-helpers.hpp>  // for WordGraph helpers
 #include <libsemigroups/word-graph.hpp>          // for WordGraph
-#include <libsemigroups/word-graph-helpers.hpp> // for WordGraph helpers
 
 // pybind11....
 #include <pybind11/pybind11.h>
diff --git a/src/todd-coxeter.cpp b/src/todd-coxeter.cpp
index 8a998332..5e85d593 100644
--- a/src/todd-coxeter.cpp
+++ b/src/todd-coxeter.cpp
@@ -545,7 +545,7 @@ non-trivial congruence containing the congruence represented by a
 :rtype: tril
  )pbdoc");
     }  // bind_todd_coxeter
-  }  // namespace
+  }    // namespace
 
   void init_todd_coxeter(py::module& m) {
     bind_todd_coxeter<word_type>(m, "ToddCoxeterWord");
diff --git a/src/word-graph.cpp b/src/word-graph.cpp
index 643c8a07..d1d320d2 100644
--- a/src/word-graph.cpp
+++ b/src/word-graph.cpp
@@ -29,8 +29,8 @@
 #include <libsemigroups/config.hpp>     // for LIBSEMIGROUPS_EIGEN_ENABLED
 #include <libsemigroups/constants.hpp>  // for operator!=, operator==
 #include <libsemigroups/detail/int-range.hpp>  // for IntegralRange<>::value_type
-#include <libsemigroups/word-graph.hpp>        // for WordGraph
-#include <libsemigroups/word-graph-helpers.hpp> // for WordGraph helpers
+#include <libsemigroups/word-graph-helpers.hpp>  // for WordGraph helpers
+#include <libsemigroups/word-graph.hpp>          // for WordGraph
 
 // pybind11....
 #include <pybind11/operators.h>  // for self, self_t, operator!=, operator*