Add note to inverses documentation

Joseph-Edwards · Jul 2, 2024 · c31967d · c31967d
1 parent 8bebac6
commit c31967d
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/include/libsemigroups/presentation.hpp b/include/libsemigroups/presentation.hpp
@@ -2162,6 +2162,11 @@ namespace libsemigroups {
     //! * the alphabet contains duplicate letters
     //! * the inverses do not act as semigroup inverses
     //!
+    //! \note
+    //! Whilst the alphabet is not specified as an argument to this function, it
+    //! is necessary to validate the alphabet here; a specification of inverses
+    //! cannot make sense if the alphabet contains duplicate letters.
+    //!
     //! \sa
     //! * \ref Presentation<Word>::validate_alphabet
     //! * \ref presentation::validate_semigroup_inverses