Src/Algebra/Ring/UsualRing.hpp

• View this file on GitHub
• Last update: 2024-06-25 21:03:43+09:00
• Include: #include "Src/Algebra/Ring/UsualRing.hpp"

Verified with

• Test/CF/ECR157-F.test.cpp
• Test/LC/matrix_det.test.cpp
• AOJ3369 Namori Counting (行列木定理) (Test/Manual/aoj3369.test.cpp)

Code

#pragma once

#include <type_traits>

namespace zawa {

namespace internal {

template <class T>
struct Addition {
    using Element = T;
    static Element identity() {
        return static_cast<Element>(0);
    }
    static Element operation(const Element& lhs, const Element& rhs) {
        return lhs + rhs;
    }
    static Element inverse(const Element& v) {
        return -v;
    }
};

template <class T>
struct Multiplication {
    using Element = T;
    static Element identity() {
        return static_cast<Element>(1);
    }
    static Element operation(const Element& lhs, const Element& rhs) {
        return lhs * rhs;
    }
    static Element inverse(const Element& value) {
        return identity() / value;
    }
};

} // namespace internal

template <class T>
struct UsualRing {
    using Element = T;
    using Addition = typename internal::Addition<T>;
    using Multiplication = typename internal::Multiplication<T>;
};

} // namespace zawa

#line 2 "Src/Algebra/Ring/UsualRing.hpp"

#include <type_traits>

namespace zawa {

namespace internal {

template <class T>
struct Addition {
    using Element = T;
    static Element identity() {
        return static_cast<Element>(0);
    }
    static Element operation(const Element& lhs, const Element& rhs) {
        return lhs + rhs;
    }
    static Element inverse(const Element& v) {
        return -v;
    }
};

template <class T>
struct Multiplication {
    using Element = T;
    static Element identity() {
        return static_cast<Element>(1);
    }
    static Element operation(const Element& lhs, const Element& rhs) {
        return lhs * rhs;
    }
    static Element inverse(const Element& value) {
        return identity() / value;
    }
};

} // namespace internal

template <class T>
struct UsualRing {
    using Element = T;
    using Addition = typename internal::Addition<T>;
    using Multiplication = typename internal::Multiplication<T>;
};

} // namespace zawa

Back to top page