Transformation monoid
(Mylib/AlgebraicStructure/Monoid/transformation.cpp)

• View this file on GitHub
• Last update: 2021-04-23 23:44:44+09:00

Operations

Requirements

Notes

Problems

References

Code

#pragma once
#include <array>

namespace haar_lib {
  template <size_t N>
  struct transformation_monoid {
    using value_type = std::array<int, N>;

    value_type operator()() const {
      value_type ret;
      for (int i = 0; i < (int) N; ++i) ret[i] = i;
      return ret;
    }

    value_type operator()(const value_type &a, const value_type &b) const {
      value_type ret;
      for (int i = 0; i < (int) N; ++i) ret[i] = a[b[i]];
      return ret;
    }
  };
}  // namespace haar_lib

#line 2 "Mylib/AlgebraicStructure/Monoid/transformation.cpp"
#include <array>

namespace haar_lib {
  template <size_t N>
  struct transformation_monoid {
    using value_type = std::array<int, N>;

    value_type operator()() const {
      value_type ret;
      for (int i = 0; i < (int) N; ++i) ret[i] = i;
      return ret;
    }

    value_type operator()(const value_type &a, const value_type &b) const {
      value_type ret;
      for (int i = 0; i < (int) N; ++i) ret[i] = a[b[i]];
      return ret;
    }
  };
}  // namespace haar_lib

Back to top page