traits/num_ring.cpp

View this file on GitHub
Last update: 2022-01-28 13:07:07+09:00

Depends on

traits/product_monoid.cpp
traits/sum_group.cpp

Verified with

test/and_convolution.test.cpp
test/semiring_matrix.test.cpp
test/subset_convolution.test.cpp

Code

#pragma once
#include "sum_group.cpp"
#include "product_monoid.cpp"

template <class T> struct NumRing {
    using Type = T;
    using Sum = SumGroup<T>;
    using Product = ProductMonoid<T>;
};

#line 2 "traits/sum_group.cpp"

template <class T> struct SumGroup {
    using Type = T;
    static constexpr T identity() { return T(0); }
    static constexpr T operation(const T& l, const T& r) { return l + r; }
    static constexpr T inverse(const T& x) { return -x; }
};
#line 2 "traits/product_monoid.cpp"

template <class T> struct ProductMonoid {
    using Type = T;
    static constexpr T identity() { return T(1); }
    static constexpr T operation(const T& l, const T& r) { return l * r; }
};
#line 4 "traits/num_ring.cpp"

template <class T> struct NumRing {
    using Type = T;
    using Sum = SumGroup<T>;
    using Product = ProductMonoid<T>;
};