is_regular_element¶
-
bool
libsemigroups::BMat8
::
is_regular_element
() const¶ Check whether
this
is a regular element of the full boolean matrix monoid of appropriate dimension.- Return
A
true
if there exists a boolean matrixy
such thatx * y * x = x
wherex
is*this
.- Exceptions
This function is
noexcept
and is guaranteed never to throw.- Complexity
Constant.
- Parameters
(None)