The `to` function

This page contains links to the documentation of the overloads of the function template to for converting from one type of object in libsemigroups to another type. These mostly only apply to the types implementing the main algorithms in the libsemigroups.

For example, to convert a ToddCoxeter object to a FroidurePin object, you can simply do to<FroidurePin>(tc).

A summary of the overloads available in libsemigroups of to<ToType>(FromType) are given below, where the rows correspond to ToType and the columns to FromType:

A tick indicates that this conversion is implemented, and a cross that it is not yet implemented.

See the following for more details:

• to<Congruence>
• to<FroidurePin>
• to<InversePresentation>
• to<KnuthBendix>
• to<Presentation>
• to<ToddCoxeter>