to_gap_string

std::string libsemigroups::FpSemigroupInterface::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)