Miscellanea

inline bool libsemigroups::BMat8::is_regular_element() const noexcept

Check whether this is a regular element of the full boolean matrix monoid of appropriate dimension.

Complexity

Constant.

Parameters

(None)

Throws:

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

Returns:

A true if there exists a boolean matrix y such that x * y * x = x where x is *this.