Group: Add
(algebra/group_add.hpp)

• View this file on GitHub
• Last update: 2026-10-26 01:30:50+09:00
• Include: #include "algebra/group_add.hpp"

Depends on

• Monoid: Add (algebra/monoid_add.hpp)

Verified with

• test/library-checker/unionfind_with_potential.test.cpp
• test/unit/weighted_dsu.test.cpp

Code

#pragma once
#include "algebra/monoid_add.hpp"
template <class T>
struct group_add : monoid_add<T> {
    static T inv(T a) {
        return -a;
    }
};

#line 2 "algebra/monoid_add.hpp"
template <class T>
struct monoid_add {
    using S = T;
    static S op(S a, S b) {
        return a + b;
    }
    static S e() {
        return T(0);
    }
};
#line 3 "algebra/group_add.hpp"
template <class T>
struct group_add : monoid_add<T> {
    static T inv(T a) {
        return -a;
    }
};

Back to top page