29#ifndef LIBSEMIGROUPS_TRANSF_HPP_
30#define LIBSEMIGROUPS_TRANSF_HPP_
36#include <initializer_list>
42#include <unordered_map>
43#include <unordered_set>
49#include "adapters.hpp"
51#include "constants.hpp"
53#include "exception.hpp"
57#include "detail/stl.hpp"
100 template <
typename T>
102 = std::is_base_of_v<detail::PTransfPolymorphicBase, T>;
106 template <
typename T>
109 template <
typename T>
127 template <
typename Scalar,
typename Container>
129 static_assert(std::is_integral_v<Scalar>,
130 "template parameter Scalar must be an integral type");
132 "template parameter Scalar must be unsigned");
219 template <
typename Iterator>
226 std::is_same_v<OtherScalar, Undefined>
227 || std::is_convertible_v<OtherScalar, point_type>,
228 "the template parameter Iterator must have "
229 "value_type \"Undefined\" or convertible to \"point_type\"!");
230 static_assert(std::is_same_v<std::decay_t<
decltype(*_container.begin())>,
233#pragma GCC diagnostic push
234#if defined(__GNUC__) && !defined(__clang__)
235#pragma GCC diagnostic ignored "-Wstringop-overflow"
237 std::copy(first, last, _container.begin());
238#pragma GCC diagnostic pop
266 template <
typename Sub
class,
typename OtherContainer = Container>
267 [[nodiscard]]
static Subclass
make(OtherContainer&& cont);
289 template <
typename Sub
class,
typename OtherScalar>
328 return _container < that._container;
366 return _container == that._container;
385 return _container < that._container || _container == that._container;
404 return that <= *
this;
423 return !(*
this == that);
441 return _container[i];
459 return _container[i];
477 return _container.at(i);
495 return _container.at(i);
519 template <
typename Sub
class>
520 [[nodiscard]] Subclass
operator*(Subclass
const& that)
const {
522 "the template parameter Subclass must be derived from "
523 "PTransfPolymorphicBase");
524 Subclass xy(that.degree());
525 xy.product_inplace(*
static_cast<Subclass const*
>(
this), that);
551 return _container.cbegin();
566 return _container.cend();
571 return _container.begin();
576 return _container.end();
591 return _container.begin();
606 return _container.end();
622 [[nodiscard]]
size_t rank()
const {
624 return (vals.find(
UNDEFINED) == vals.end() ? vals.size()
664 [[nodiscard]]
size_t degree() const noexcept {
665 return _container.size();
681 template <
typename Sub
class>
682 [[nodiscard]]
static Subclass
one(
size_t N) {
684 "the template parameter Subclass must be derived from "
685 "PTransfPolymorphicBase");
687 std::iota(result.begin(), result.end(), 0);
694 resize(_container, N, val);
698 template <
typename T>
699 static void throw_if_bad_args(T
const& cont);
701 Container _container;
715 template <
typename T>
716 static constexpr bool IsStatic = detail::IsStaticHelper<T>::value;
725 template <
typename T>
726 static constexpr bool IsDynamic = detail::IsDynamicHelper<T>::value;
744 template <
typename Scalar>
810 using base_type::resize;
829 template <
size_t N,
typename Scalar>
908 = std::conditional_t<N == 0, uint32_t, typename SmallestInteger<N>::type>>
913 template <
typename T>
916 template <
typename Scalar>
919 template <
size_t N,
typename Scalar>
922 template <
size_t N,
typename Scalar>
925 template <
typename Scalar>
940 template <
typename T>
941 static constexpr bool IsPTransf = detail::IsPTransfHelper<T>::value;
959 template <
typename Scalar,
typename Container>
962 size_t const M = f.
degree();
963 for (
auto const& val : f) {
968 "[{}, {}), found {}",
1009 = std::conditional_t<N == 0, uint32_t, typename SmallestInteger<N>::type>>
1025 using base_type::degree;
1067 template <
typename T>
1070 template <
size_t N,
typename Scalar>
1071 struct IsTransfHelper<Transf<N, Scalar>> : std::true_type {};
1073 template <
size_t N,
typename Scalar>
1074 struct IsStaticHelper<Transf<N, Scalar>>
1075 : IsStaticHelper<PTransf<N, Scalar>> {};
1077 template <
size_t N,
typename Scalar>
1078 struct IsDynamicHelper<Transf<N, Scalar>>
1079 : IsDynamicHelper<PTransf<N, Scalar>> {};
1093 template <
typename T>
1094 static constexpr bool IsTransf = detail::IsTransfHelper<T>::value;
1113 template <
size_t N,
typename Scalar>
1153 template <
typename Return,
typename OtherContainer>
1154 [[nodiscard]] std::enable_if_t<IsTransf<Return>, Return>
1182 template <
typename Return,
typename OtherScalar>
1183 [[nodiscard]] std::enable_if_t<IsTransf<Return>, Return>
1222 = std::conditional_t<N == 0, uint32_t, typename SmallestInteger<N>::type>>
1238 using base_type::degree;
1239 using base_type::undef;
1265 template <
typename OtherScalar>
1305 typename Scalar = std::
1306 conditional_t<N == 0, uint32_t, typename SmallestInteger<N>::type>>
1315 template <
typename T>
1318 template <
size_t N,
typename Scalar>
1319 struct IsPPermHelper<PPerm<N, Scalar>> : std::true_type {};
1321 template <
size_t N,
typename Scalar>
1322 struct IsStaticHelper<PPerm<N, Scalar>>
1323 : IsStaticHelper<PTransf<N, Scalar>> {};
1325 template <
size_t N,
typename Scalar>
1326 struct IsDynamicHelper<PPerm<N, Scalar>>
1327 : IsDynamicHelper<PTransf<N, Scalar>> {};
1337 template <
typename T>
1338 static constexpr bool IsPPerm = detail::IsPPermHelper<T>::value;
1358 template <
size_t N,
typename Scalar>
1361 detail::throw_if_duplicates(f.begin(), f.end());
1402 template <
typename Return,
typename OtherContainer>
1403 [[nodiscard]] std::enable_if_t<IsPPerm<Return>, Return>
1429 template <
typename Return>
1430 [[nodiscard]] std::enable_if_t<IsPPerm<Return>, Return>
1459 template <
typename Return>
1460 [[nodiscard]] std::enable_if_t<IsPPerm<Return>, Return>
1488 template <
typename Return>
1489 [[nodiscard]] std::enable_if_t<IsPPerm<Return>, Return>
1531 = std::conditional_t<N == 0, uint32_t, typename SmallestInteger<N>::type>>
1547 using base_type::degree;
1551 return base_type::template
one<Perm>(M);
1560 template <
typename T>
1563 template <
size_t N,
typename Scalar>
1564 struct IsPermHelper<Perm<N, Scalar>> : std::true_type {};
1574 template <
typename T>
1575 static constexpr bool IsPerm = detail::IsPermHelper<T>::value;
1595 template <
size_t N,
typename Scalar>
1598 detail::throw_if_duplicates(f.begin(), f.end());
1639 template <
typename Return,
typename OtherContainer>
1640 [[nodiscard]] std::enable_if_t<IsPerm<Return>, Return>
1667 template <
typename Return>
1668 [[nodiscard]] std::enable_if_t<IsPerm<Return>, Return>
1704 template <
typename T,
typename Scalar>
1728 template <
typename T>
1757 template <
typename T,
typename Scalar>
1781 template <
typename T>
1802 template <
typename T>
1803 [[nodiscard]]
auto one(T
const& f)
1804 -> std::enable_if_t<IsDerivedFromPTransf<T>, T> {
1805 return T::one(f.degree());
1825 template <
size_t N,
typename Scalar>
1846 template <
size_t N,
typename Scalar>
1866 template <
size_t N,
typename Scalar>
1891 template <
size_t N,
typename Scalar>
1916 template <
size_t N,
typename Scalar>
1939 template <
size_t N,
typename Scalar>
1946 template <
typename T>
1947 struct Degree<T,
std::enable_if_t<IsDerivedFromPTransf<T>>> {
1948 [[nodiscard]]
constexpr size_t operator()(T
const& x)
const noexcept {
1953 template <
typename T>
1954 struct One<T, std::enable_if_t<IsDerivedFromPTransf<T>>> {
1955 [[nodiscard]] T operator()(T
const& x)
const {
1956 return (*
this)(x.degree());
1959 [[nodiscard]] T operator()(
size_t N)
const {
1964 template <
size_t N,
typename Scalar>
1966 [[nodiscard]] Perm<N, Scalar> operator()(Perm<N, Scalar>
const& x) {
1971 template <
typename Sub
class>
1972 struct Product<Subclass, std::enable_if_t<IsDerivedFromPTransf<Subclass>>> {
1974 operator()(Subclass& xy, Subclass
const& x, Subclass
const& y,
size_t = 0) {
1975 xy.product_inplace(x, y);
1979 template <
typename T>
1980 struct Hash<T, std::enable_if_t<IsDerivedFromPTransf<T>>> {
1981 [[nodiscard]]
constexpr size_t operator()(T
const& x)
const {
1982 return x.hash_value();
1986 template <
typename T>
1987 struct Complexity<T, std::enable_if_t<IsDerivedFromPTransf<T>>> {
1988 [[nodiscard]]
constexpr size_t operator()(T
const& x)
const noexcept {
1997 template <
typename T>
2001 x.increase_degree_by(n);
2016 template <
size_t N,
typename Scalar,
typename T>
2027 template <
size_t N,
typename Scalar,
size_t M>
2031 BitSet<M>
const& pt,
2035 pt.apply([&x, &res](
size_t i) { res.set(x[i]); });
2045 template <
size_t N,
typename Scalar,
typename T>
2064 template <
size_t N,
typename Scalar>
2068 using type = BitSet<BitSet<1>::max_size()>;
2076 template <
size_t N,
typename Scalar>
2088 template <
size_t N,
typename Scalar,
typename T>
2101 template <
size_t N,
typename Scalar,
size_t M>
2114 template <
size_t N,
typename Scalar,
typename T>
2135 template <
size_t N,
typename Scalar>
2163 template <
size_t N,
typename Scalar>
2169 LIBSEMIGROUPS_ASSERT(res.degree() == pt.degree());
2170 LIBSEMIGROUPS_ASSERT(res.degree() == x.degree());
2171 res.product_inplace(pt, x);
2182 template <
size_t N,
typename Scalar,
typename T>
2193 template <
size_t N,
typename Scalar,
size_t M>
2197 BitSet<M>
const& pt,
2206 template <
size_t N,
typename Scalar>
2212 res.product_inplace(x, pt);
2231 template <
size_t N,
typename Scalar,
typename T>
2253 template <
size_t N,
typename Scalar>
2257 using type = BitSet<BitSet<1>::max_size()>;
2265 template <
size_t N,
typename Scalar>
2276 template <
size_t N,
typename Scalar,
size_t M>
2287 template <
size_t N,
typename Scalar,
size_t M>
2297 template <
size_t N,
typename Scalar>
2316 template <
size_t N,
typename Scalar,
typename T>
2319 std::enable_if_t<std::is_integral_v<T>>> {
2324 LIBSEMIGROUPS_ASSERT(pt < p.degree());
2340 struct LeastTransfHelper {
2341#ifdef LIBSEMIGROUPS_HPCOMBI_ENABLED
2342 using type = std::conditional_t<N >= 17, Transf<N>, HPCombi::Transf16>;
2344 using type = Transf<N>;
2349 struct LeastPPermHelper {
2350#ifdef LIBSEMIGROUPS_HPCOMBI_ENABLED
2351 using type = std::conditional_t<N >= 17, PPerm<N>, HPCombi::PPerm16>;
2353 using type = PPerm<N>;
2358 struct LeastPermHelper {
2359#ifdef LIBSEMIGROUPS_HPCOMBI_ENABLED
2360 using type = std::conditional_t<N >= 17, Perm<N>, HPCombi::Perm16>;
2362 using type = Perm<N>;
2410 using LeastPerm =
typename detail::LeastPermHelper<N>::type;
2436 template <
size_t N,
typename Scalar>
2438 std::string_view prefix =
"",
2439 std::string_view braces =
"{}");
2465 template <
size_t N,
typename Scalar>
2467 std::string_view prefix =
"",
2468 std::string_view braces =
"{}");
2495 template <
size_t N,
typename Scalar>
2497 std::string_view prefix =
"",
2498 std::string_view braces =
"{}");
2529 template <
size_t N,
typename Scalar>
2531 std::string_view prefix =
"",
2532 std::string_view braces
2534 size_t max_width = 72);
2564 template <
size_t N,
typename Scalar>
2566 std::string_view prefix =
"",
2567 std::string_view braces
2569 size_t max_width = 72);
2601 template <
size_t N,
typename Scalar>
2603 std::string_view prefix =
"",
2604 std::string_view braces
2606 size_t max_width = 72);
2609#include "transf.tpp"
Partial transformations with dynamic degree.
Definition transf.hpp:745
DynamicPTransf(size_t n)
Construct with given degree.
Definition transf.hpp:785
size_t degree() const noexcept
Returns the degree of a partial transformation.
Definition transf.hpp:664
const_iterator end() const noexcept
Returns a const_iterator (random access iterator) pointing one past the last image value.
Definition transf.hpp:575
DynamicPTransf & increase_degree_by(size_t m)
Increase the degree in-place.
Definition transf.hpp:803
Scalar point_type
Type of the image values.
Definition transf.hpp:754
std::vector< point_type > container_type
Type of the underlying container.
Definition transf.hpp:761
Partial permutations with static or dynamic degree.
Definition transf.hpp:1223
PPerm(std::initializer_list< point_type > dom, std::initializer_list< point_type > img, size_t M)
Construct from domain, range, and degree.
Definition transf.hpp:1272
PPerm(std::vector< OtherScalar > const &dom, std::vector< OtherScalar > const &img, size_t M)
Construct from domain, range, and degree.
Scalar point_type
Type of the image values.
Definition transf.hpp:1230
void product_inplace(PPerm const &f, PPerm const &g)
Multiply two partial perms and store the product in this.
static PPerm one(size_t M)
Returns the identity transformation on the given number of points.
Definition transf.hpp:1297
typename base_type::container_type container_type
Type of the underlying container.
Definition transf.hpp:1235
Base class for partial transformations.
Definition transf.hpp:128
typename Container::iterator iterator
Type of iterators point to image values.
Definition transf.hpp:532
bool operator==(PTransfBase const &that) const
Compare for equality.
Definition transf.hpp:365
Subclass operator*(Subclass const &that) const
Multiply by another partial transformation.
Definition transf.hpp:520
size_t rank() const
Returns the number of distinct image values.
Definition transf.hpp:622
typename Container::const_iterator const_iterator
Type of const iterators point to image values.
Definition transf.hpp:537
PTransfBase(PTransfBase const &)=default
Default copy constructor.
const_iterator begin() const noexcept
Definition transf.hpp:570
PTransfBase()=default
Default constructor.
bool operator>=(PTransfBase const &that) const
Compare for greater than or equal.
Definition transf.hpp:403
PTransfBase & operator=(PTransfBase const &)=default
Default copy assignment operator.
PTransfBase(std::initializer_list< Scalar > cont)
Construct from a container of images.
Definition transf.hpp:242
point_type const & at(size_t i) const
Get a const reference to the image of a point.
Definition transf.hpp:494
size_t degree() const noexcept
Returns the degree of a partial transformation.
Definition transf.hpp:664
const_iterator end() const noexcept
Definition transf.hpp:575
bool operator>(PTransfBase const &that) const
Compare for greater.
Definition transf.hpp:346
static Subclass make(OtherContainer &&cont)
Construct from universal reference container and check.
PTransfBase & operator=(PTransfBase &&)=default
Default move assignment operator.
PTransfBase(PTransfBase &&)=default
Default move constructor.
Scalar point_type
Type of the image values.
Definition transf.hpp:138
static Subclass make(std::initializer_list< OtherScalar > cont)
Construct from std::initializer_list and check.
iterator begin() noexcept
Returns an iterator (random access iterator) pointing at the first image value.
Definition transf.hpp:590
const_iterator cend() const noexcept
Returns a const_iterator (random access iterator) pointing one past the last image value.
Definition transf.hpp:565
Container container_type
Type of the underlying container.
Definition transf.hpp:143
const_iterator cbegin() const noexcept
Returns a const_iterator (random access iterator) pointing at the first image value.
Definition transf.hpp:550
point_type & at(size_t i)
Get a reference to the image of a point.
Definition transf.hpp:476
static Subclass one(size_t N)
Returns the identity transformation on the given number of points.
Definition transf.hpp:682
PTransfBase(Iterator first, Iterator last)
Construct from a range of images.
Definition transf.hpp:220
point_type & operator[](size_t i)
Get a reference to the image of a point.
Definition transf.hpp:440
static point_type undef() noexcept
Returns the value used to represent "undefined".
Definition transf.hpp:156
size_t hash_value() const
Returns a hash value.
Definition transf.hpp:639
bool operator<=(PTransfBase const &that) const
Compare for less than or equal.
Definition transf.hpp:384
bool operator<(PTransfBase const &that) const
Compare for less.
Definition transf.hpp:327
PTransfBase(Container const &cont)
Construct from a container of images.
Definition transf.hpp:194
point_type const & operator[](size_t i) const
Get a const reference to the image of a point.
Definition transf.hpp:458
void swap(PTransfBase &that) noexcept
Swap with another partial transformation.
Definition transf.hpp:649
PTransfBase(Container &&cont)
Construct from a container of images.
Definition transf.hpp:197
bool operator!=(PTransfBase const &that) const
Compare for inequality.
Definition transf.hpp:422
iterator end() noexcept
Returns an iterator (random access iterator) pointing one past the last image value.
Definition transf.hpp:605
Permutations with static or dynamic degree.
Definition transf.hpp:1532
static Perm one(size_t M)
Returns the identity transformation on the given number of points.
Definition transf.hpp:1550
Scalar point_type
Type of the image values.
Definition transf.hpp:1539
typename PTransf< N, point_type >::container_type container_type
Type of the underlying container.
Definition transf.hpp:1544
Partial transformations with static degree.
Definition transf.hpp:830
StaticPTransf & increase_degree_by(size_t)
Increase the degree in-place.
Definition transf.hpp:877
const_iterator begin() const noexcept
Returns a const_iterator (random access iterator) pointing at the first image value.
Definition transf.hpp:570
std::array< Scalar, N > container_type
Type of the underlying container.
Definition transf.hpp:840
const_iterator end() const noexcept
Returns a const_iterator (random access iterator) pointing one past the last image value.
Definition transf.hpp:575
StaticPTransf(size_t n)
Construct with given degree.
StaticPTransf()
Default constructor.
Definition transf.hpp:856
Scalar point_type
Type of the image values.
Definition transf.hpp:835
Transformations with static or dynamic degree.
Definition transf.hpp:1010
static Transf one(size_t M)
Returns the identity transformation on the given number of points.
Definition transf.hpp:1061
Scalar point_type
Type of the image values.
Definition transf.hpp:1017
void product_inplace(Transf const &f, Transf const &g)
Multiply two transformations and store the product in this.
typename base_type::container_type container_type
Type of the underlying container.
Definition transf.hpp:1022
std::string to_human_readable_repr(AhoCorasick const &ac)
Return a string representation.
Undefined const UNDEFINED
Value for something undefined.
#define LIBSEMIGROUPS_EXCEPTION(...)
Throw a LibsemigroupsException.
Definition exception.hpp:99
enable_if_is_same< Return, Blocks > make(Container const &cont)
Check the arguments, construct a Blocks object, and check it.
Definition bipart.hpp:798
typename detail::LeastPermHelper< N >::type LeastPerm
Type of perms using the least memory for a given degree.
Definition transf.hpp:2410
static constexpr bool IsPPerm
Helper variable template.
Definition transf.hpp:1338
auto one(T const &f) -> std::enable_if_t< IsDerivedFromPTransf< T >, T >
Returns the identity transformation of same degree as a sample.
Definition transf.hpp:1803
static constexpr bool IsTransf
Helper variable template.
Definition transf.hpp:1094
typename detail::LeastTransfHelper< N >::type LeastTransf
Type of transformations using the least memory for a given degree.
Definition transf.hpp:2380
PPerm< N, Scalar > left_one(PPerm< N, Scalar > const &f)
Returns the left one of a partial perm.
typename detail::LeastPPermHelper< N >::type LeastPPerm
Type of partial perms using the least memory for a given degree.
Definition transf.hpp:2395
void domain(T const &f, std::vector< Scalar > &dom)
Replace the contents of a vector by the set of points where a partial transformation is defined.
static constexpr bool IsPTransf
Helper variable template.
Definition transf.hpp:941
PPerm< N, Scalar > right_one(PPerm< N, Scalar > const &f)
Returns the right one of a partial perm.
static constexpr bool IsDynamic
Helper variable template.
Definition transf.hpp:726
static constexpr bool IsStatic
Helper variable template.
Definition transf.hpp:716
void throw_if_not_pperm(PPerm< N, Scalar > const &f)
Check a partial perm.
Definition transf.hpp:1359
void image(T const &f, std::vector< Scalar > &im)
Replace the contents of a vector by the set of images of a partial transformation.
void throw_if_image_value_out_of_range(PTransfBase< Scalar, Container > const &f)
Check a partial transformation.
Definition transf.hpp:961
std::string to_input_string(Transf< N, Scalar > const &x, std::string_view prefix="", std::string_view braces="{}")
Return a string that can be used to recreate a transformation.
static constexpr bool IsPerm
Helper variable template.
Definition transf.hpp:1575
auto throw_if_not_perm(Perm< N, Scalar > const &f)
Check a permutation.
Definition transf.hpp:1596
static constexpr bool IsDerivedFromPTransf
Helper variable template.
Definition transf.hpp:102
std:: conditional_t< N==0, DynamicPTransf< Scalar >, StaticPTransf< N, Scalar > > PTransf
Partial transformations with static or dynamic degree.
Definition transf.hpp:909
void inverse(PPerm< N, Scalar > const &from, PPerm< N, Scalar > &to)
Replace contents of a partial perm with the inverse of another.
Namespace for everything in the libsemigroups library.
Definition action.hpp:44
auto to(detail::KnuthBendixImpl< Rewriter, ReductionOrder > &kb) -> std::enable_if_t< std::is_same_v< Presentation< typename Result::word_type >, Result >, Result >
No doc.
Adapter for the complexity of multiplication.
Definition adapters.hpp:121
Adapter for the degree of an element.
Definition adapters.hpp:159
Adapter for hashing.
Definition adapters.hpp:446
size_t operator()(Value const &x) const
Hash x using std::hash.
Definition adapters.hpp:455
void operator()(PPerm< N, Scalar > &res, PPerm< N, Scalar > const &pt, PPerm< N, Scalar > const &x) const noexcept
Stores the idempotent in res.
Definition transf.hpp:2209
void operator()(T &res, T const &pt, PPerm< N, Scalar > const &x) const
Definition transf.hpp:2233
void operator()(T &res, T const &pt, Transf< N, Scalar > const &x) const
Stores the image of pt under the left action of x in res.
Adapter for the value of a left action.
Definition adapters.hpp:350
void operator()(BitSet< M > &res, BitSet< M > const &pt, PPerm< N, Scalar > const &x) const
Stores the image set of pt under x in res.
void operator()(PPerm< N, Scalar > &res, PPerm< N, Scalar > const &pt, PPerm< N, Scalar > const &x) const noexcept
Stores the idempotent in res.
Definition transf.hpp:2166
void operator()(T &res, T const &pt, PPerm< N, Scalar > const &x) const
Stores the image set of pt under x in res.
void operator()(T &res, T const &pt, Perm< N, Scalar > const &p) const noexcept
Stores the image of pt under the action of p in res.
Definition transf.hpp:2321
T operator()(T pt, Perm< N, Scalar > const &x)
Returns the image of pt under the action of p.
Definition transf.hpp:2329
void operator()(BitSet< M > &res, BitSet< M > const &pt, Transf< N, Scalar > const &x) const
Stores the image set of pt under x in res.
Definition transf.hpp:2030
void operator()(T &res, T const &pt, Transf< N, Scalar > const &x) const
Stores the image set of pt under x in res.
Adapter for the value of a right action.
Definition adapters.hpp:392
void operator()(T &x, size_t n) const
Returns x->increase_degree_by(n).
Definition transf.hpp:2000
Adapter for increasing the degree of an element.
Definition adapters.hpp:199
Adapter for the inverse of an element.
Definition adapters.hpp:319
void operator()(BitSet< M > &res, PPerm< N, Scalar > const &x) const
void operator()(BitSet< M > &res, Transf< N, Scalar > const &x) const
void operator()(T &res, Transf< N, Scalar > const &x) const
Adapter for the action on LambdaValue's.
Definition adapters.hpp:833
BitSet< BitSet< 1 >::max_size()> type
Definition transf.hpp:2257
BitSet< BitSet< 1 >::max_size()> type
Definition transf.hpp:2068
Adapter for lambda functions.
Definition adapters.hpp:793
Adapter for the identity element of the given type.
Definition adapters.hpp:246
Adapter for the product of two elements.
Definition adapters.hpp:284
size_t operator()(PPerm< N, Scalar > const &x) const
Definition transf.hpp:2302
size_t operator()(Transf< N, Scalar > const &x) const
Definition transf.hpp:2149
Adapter for calculating ranks.
Definition adapters.hpp:930
void operator()(BitSet< M > &res, PPerm< N, Scalar > const &x) const
void operator()(T &res, Transf< N, Scalar > const &x) const
Adapter for the action on RhoValue's.
Definition adapters.hpp:854
typename LambdaValue< PPerm< N, Scalar > >::type type
Definition transf.hpp:2269
std::vector< Scalar > type
Definition transf.hpp:2080
Adapter for rho functions.
Definition adapters.hpp:812