algebra/monoid/monoid_plus.hpp

• View this file on GitHub
• Last update: 2025-12-10 04:21:17+09:00
• Include: #include "algebra/monoid/monoid_plus.hpp"

Verified with

• unionfind/test/potentialized_unionfind.test.cpp
• unionfind/test/potentialized_unionfind_groups.test.cpp

Code

#pragma once

template <class T> struct MonoidPlus {
    using value_type = T;
    static constexpr T operation(const T& a, const T& b) noexcept {
        return a + b;
    }
    static constexpr T identity() noexcept { return T(0); }
    static constexpr T inverse(const T& a) noexcept { return -a; }
    static constexpr bool commutative = true;
};

#line 2 "algebra/monoid/monoid_plus.hpp"

template <class T> struct MonoidPlus {
    using value_type = T;
    static constexpr T operation(const T& a, const T& b) noexcept {
        return a + b;
    }
    static constexpr T identity() noexcept { return T(0); }
    static constexpr T inverse(const T& a) noexcept { return -a; }
    static constexpr bool commutative = true;
};

Back to top page