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:
- Throws
(None) – This function guarantees not to throw a
LibsemigroupsException
.- Returns
A value of type
bool
indicating whether or not any changes were made.