to_gap_string¶
-
std::string
libsemigroups::CongruenceWrapper
::
to_gap_string
()¶ Returns a string containing GAP commands for defining a finitely presented semigroup equal to that represented by
this
.- Return
A std::string.
- Exceptions
This function guarantees not to throw a LibsemigroupsException.
- Complexity
\(O(m + n)\) where \(m\) is alphabet().size() and \(n\) is nr_rules().
- Parameters
(None)