Froidure-Pin

This page contains documentation related to the implementation of the Froidure-Pin algorithm [22] in libsemigroups.

The purpose of the Froidure-Pin algorithm is to determine the elements and structure of a semigroup or monoid generated by a set of generators whose multiplication and comparison for equality is decidable (such as matrices, transformations, and so on.)

Topics
	make<FroidurePin>
	Safely construct a FroidurePin instance.
	to<FroidurePin>
	Convert to a FroidurePin instance.

Namespaces
namespace	libsemigroups::froidure_pin
	This namespace contains helper functions for the FroidurePin class template.

Classes
class	FroidurePin< Element, Traits >
	Class implementing the Froidure-Pin algorithm. More...
class	FroidurePinBase
	Base class for FroidurePin containing non-element specific data and member functions. More...
struct	FroidurePinTraits< Element, State >
	Traits class for FroidurePin. More...