is_regular_element

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

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

Return

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

Exceptions

This function is noexcept and is guaranteed never to throw.

Complexity

Constant.

Parameters

(None)