Standardization

This page contains information about the member functions of the ToddCoxeter class related to standardization.

bool libsemigroups::congruence::ToddCoxeter::is_standardized() const noexcept

Check if the table has been standardized.

Returns true if the ToddCoxeter instance is standardized. In other words, if standardize(order) has been called with any argument other than order::none.

Parameters

(None)

Throws:

(None) – This function is noexcept and is guaranteed never to throw.

Returns:

A value of type bool.

order libsemigroups::congruence::ToddCoxeter::standardization_order() const noexcept

Returns the current order in which the table is standardized.

Parameters

(None)

Throws:

(None) – This function is noexcept and is guaranteed never to throw.

Returns:

A value of type order.

bool libsemigroups::congruence::ToddCoxeter::standardize(order val)

Standardize the table according to the specified order.

Standardizes the current coset table according to the order specified by order.

Parameters:

val – the order used for standardization, the possible values are:

• order::shortlex

• order::lex

• order::recursive

Throws:

(None) – This function guarantees not to throw a LibsemigroupsException.

Returns:

A value of type bool indicating whether or not any changes were made.