monoids/affine_monoid.hpp

• View this file on GitHub
• Last update: 2026-01-04 02:17:36+09:00
• Include: #include "monoids/affine_monoid.hpp"

Verified with

• test/link_cut_tree/dynamic_tree_vertex_set_path_composite.test.cpp

Code

#ifndef AFFINE_MONOID_HPP
#define AFFINE_MONOID_HPP

template <typename Z> struct AffineMonoid {
    static AffineMonoid op(AffineMonoid f, AffineMonoid g) {
        auto [a, b] = f;
        auto [c, d] = g;
        return {a * c, b * c + d};
    }
    static AffineMonoid e() { return {1, 0}; }
    Z a, b;
};

#endif // AFFINE_MONOID_HPP

#line 1 "monoids/affine_monoid.hpp"



template <typename Z> struct AffineMonoid {
    static AffineMonoid op(AffineMonoid f, AffineMonoid g) {
        auto [a, b] = f;
        auto [c, d] = g;
        return {a * c, b * c + d};
    }
    static AffineMonoid e() { return {1, 0}; }
    Z a, b;
};

Back to top page