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 matrixy
such thatx * y * x = x
wherex
is*this
.