Stephen

This page contains links to the functionality in libsemigroups_pybind11 related to Stephen’s procedure [Ste87] for finitely presented semigroups.

• The Stephen class
• Stephen helpers