dedekind::analysis::IsPoissonAlgebra Concept Reference

A Ring equipped with a bracket satisfying the Jacobi Identity. More...

Concept definition

template<typename A>
concept dedekind::analysis::IsPoissonAlgebra = 
    dedekind::category::IsRing<A, std::plus<A>, std::multiplies<A>> &&
    requires(A f, A g) {
      { bracket(f, g) } -> std::same_as<A>;
    }

Detailed Description

A Ring equipped with a bracket satisfying the Jacobi Identity.