monoids/sum.hpp

• View this file on GitHub
• Last update: 2026-02-03 20:57:06+09:00
• Include: #include "monoids/sum.hpp"

Verified with

• test/graph/jag_regional_2022_i.test.cpp

Code

#ifndef SUM_HPP
#define SUM_HPP

// Additive Abelian Group
template <typename T> struct Sum {
    T val;
    static Sum op(Sum a, Sum b) { return {a.val + b.val}; }
    static Sum e() { return {0}; }
    static Sum inv(Sum x) { return {-x.val}; }
    friend bool operator==(const Sum &a, const Sum &b) { return a.val == b.val; }
};

#endif // SUM_HPP

#line 1 "monoids/sum.hpp"



// Additive Abelian Group
template <typename T> struct Sum {
    T val;
    static Sum op(Sum a, Sum b) { return {a.val + b.val}; }
    static Sum e() { return {0}; }
    static Sum inv(Sum x) { return {-x.val}; }
    friend bool operator==(const Sum &a, const Sum &b) { return a.val == b.val; }
};

Back to top page