template<typename Element, typename = void>
struct libsemigroups::Inverse< Element, typename >
Defined in adapters.hpp.
Specialisations of this struct should be stateless trivially default constructible with a call operator of signature Point operator()(Element const& x) const (possibly noexcept, inline and/or constexpr also).
The call operator should return the inverse of the element x under the assumption that x has an inverse (in the sense of groups). For example, if x is a permutation, then this would return its inverse. If x is a permutation matrix of type BMat8, then this operator would return its transpose.
- Template Parameters
-
| Element | the type of the elements of a semigroup. |
The second template parameter exists for SFINAE.
- Used by:
-
- Example
template <>
inline BMat8 operator()(
BMat8 const& x)
const noexcept {
LIBSEMIGROUPS_ASSERT(x * x.transpose() == x.one());
return x.transpose();
}
};
Fast boolean matrices of dimension up to 8 x 8.
Definition bmat8.hpp:74
Adapter for the inverse of an element.
Definition adapters.hpp:326
