Src/Algebra/Monoid/MonoidAction.hpp

• View this file on GitHub
• Last update: 2025-08-20 18:56:28+09:00
• Include: #include "Src/Algebra/Monoid/MonoidAction.hpp"

Depends on

• Src/Algebra/Monoid/MonoidConcept.hpp
• Src/Algebra/Semigroup/SemigroupConcept.hpp

Verified with

• Test/AtCoder/abc268_h.test.cpp
• Test/AtCoder/abc419_f.test.cpp

Code

#pragma once

#include "./MonoidConcept.hpp"

namespace zawa {

template <concepts::Monoid M>
struct AddSelfAction : public M {
    static M::Element action(M::Element a, M::Element b) {
        return M::operation(a, b);
    }
    static M::Element acted(M::Element a, M::Element b) {
        return M::operation(a, b);
    }
};

} // namespace zawa

#line 2 "Src/Algebra/Monoid/MonoidAction.hpp"

#line 2 "Src/Algebra/Monoid/MonoidConcept.hpp"

#line 2 "Src/Algebra/Semigroup/SemigroupConcept.hpp"

#include <concepts>

namespace zawa {

namespace concepts {

template <class T>
concept Semigroup = requires {
    typename T::Element;
    { T::operation(std::declval<typename T::Element>(), std::declval<typename T::Element>()) } -> std::same_as<typename T::Element>;
};

} // namespace concepts

} // namespace zawa
#line 4 "Src/Algebra/Monoid/MonoidConcept.hpp"

#line 6 "Src/Algebra/Monoid/MonoidConcept.hpp"

namespace zawa {

namespace concepts {

template <class T>
concept Identitiable = requires {
    typename T::Element;
    { T::identity() } -> std::same_as<typename T::Element>;
};

template <class T>
concept Monoid = Semigroup<T> and Identitiable<T>;

} // namespace

} // namespace zawa
#line 4 "Src/Algebra/Monoid/MonoidAction.hpp"

namespace zawa {

template <concepts::Monoid M>
struct AddSelfAction : public M {
    static M::Element action(M::Element a, M::Element b) {
        return M::operation(a, b);
    }
    static M::Element acted(M::Element a, M::Element b) {
        return M::operation(a, b);
    }
};

} // namespace zawa

Back to top page