Monoid: Affine
(algebra/monoid_affine.hpp)

• View this file on GitHub
• Last update: 2026-10-23 22:06:19+09:00
• Include: #include "algebra/monoid_affine.hpp"

Verified with

• test/library-checker/point_set_range_composite.test.cpp
• test/unit/monoid.test.cpp

Code

#pragma once
template <class T>
struct monoid_affine {
    struct S {
        T a, b;
    };
    static S op(S f, S g) {
        return {g.a * f.a, g.a * f.b + g.b};
    }
    static S e() {
        return {T(1), T(0)};
    }
    static T eval(S f, T x) {
        return f.a * x + f.b;
    }
};

#line 2 "algebra/monoid_affine.hpp"
template <class T>
struct monoid_affine {
    struct S {
        T a, b;
    };
    static S op(S f, S g) {
        return {g.a * f.a, g.a * f.b + g.b};
    }
    static S e() {
        return {T(1), T(0)};
    }
    static T eval(S f, T x) {
        return f.a * x + f.b;
    }
};

Back to top page