Namespace for mathematical concepts. More...
Classes | |
struct | identity_t |
struct | identity_t< add< Element >, Element > |
struct | identity_t< add< std::string >, std::string > |
struct | identity_t< mult< Element >, Element > |
struct | identity_t< max< Element >, Element > |
struct | identity_t< min< Element >, Element > |
struct | identity_t< bitwise_and< Element >, Element > |
struct | identity_t< bitwise_or< Element >, Element > |
struct | inverse_t |
struct | inverse_t< add< Element >, Element > |
struct | inverse_t< mult< Element >, Element > |
struct | is_invertible_t |
struct | is_invertible_t< add< Element >, Element > |
struct | is_invertible_t< mult< Element >, Element > |
struct | LinearOperator |
Concept LinearOperator. More... | |
struct | SelfAdjointOperator |
Concept SelfAdjointOperator. More... | |
struct | RealOperator |
Concept RealOperator. More... | |
struct | SymmetricOperator |
Concept SymmetricOperator. More... | |
struct | Magnitude |
struct | Magnitude< std::complex< T > > |
struct | magnitude_type_trait< std::complex< T > > |
struct | add |
struct | heterogeneous_add |
struct | add< char > |
struct | add< short > |
struct | add< unsigned char > |
struct | add< unsigned short > |
struct | mult |
struct | heterogeneous_mult |
struct | mult< char > |
struct | mult< short > |
struct | mult< unsigned char > |
struct | mult< unsigned short > |
struct | min |
struct | max |
struct | bitwise_and |
struct | bitwise_or |
struct | bitwise_xor |
struct | VectorSpace |
Concept VectorSpace. More... | |
struct | Norm |
Concept Norm. More... | |
struct | SemiNorm |
Concept SemiNorm. More... | |
struct | BanachSpace |
Concept BanachSpace. More... | |
struct | InnerProduct |
Concept InnerProduct. More... | |
struct | DotProduct |
Concept DotProduct. More... | |
struct | HilbertSpace |
Concept HilbertSpace. More... | |
struct | identity_t< mult< mtl::dense2D< Value, Parameters > >, mtl::dense2D< Value, Parameters > > |
Functions | |
template<std::InputIterator Iter, std::CopyConstructible Value, typename Op > | |
requires std::Callable2< Op, Value, Value > &&std::CopyAssignable< Value, std::Callable2< Op, Value, Value >::result_type > Value | accumulate (Iter first, Iter last, Value init, Op op) |
plus_assign_result_type | operator+= (Element &x, Element y) |
axiom | Consistency (add< Element > op, Element x, Element y) |
template<typename Operation , typename Element > | |
Element | identity (const Operation &op, const Element &v) |
template<typename Element > | |
Element | zero (const Element &v) |
template<typename Element > | |
Element | one (const Element &v) |
template<typename Operation , typename Element > | |
Element | inverse (const Operation &op, const Element &v) |
template<typename Element > | |
Element | reciprocal (const Element &v) |
template<typename Operation , typename Element > | |
bool | is_invertible (const Operation &op, const Element &v) |
template<typename Op , std::Semiregular Element, Integral Exponent> | |
requires std::Callable2< Op, Element, Element > &&std::Convertible < std::Callable2< Op, Element, Element >::result_type, Element > Element | power (const Element &a, Exponent n, Op op) |
template<typename Op , std::Semiregular Element, Integral Exponent> | |
requires Monoid< Op, Element > &&std::Callable2< Op, Element, Element > &&std::Convertible < std::Callable2< Op, Element, Element >::result_type, Element > Element | multiply_and_square (const Element &a, Exponent n, Op op) |
template<typename I , typename Vector , typename Scalar = typename Vector::value_type> | |
_GLIBCXX_WHERE (InnerProduct< I, Vector, Scalar > &&RealMagnitude< Scalar >) struct induced_norm_t | |
Variables | |
concept | Commutative< typename Operation, typename Element > |
concept | Element |
concept | SemiGroup< typename Operation, typename Element > |
concept | Monoid< typename Operation, typename Element > |
concept | PIMonoid< typename Operation, typename Element > |
Element | __pad0__ |
auto concept | AbelianGroup< typename Operation, typename Element > |
concept | Additive< typename Element > |
auto concept | AdditiveCommutative< typename Element > |
concept | AdditivePIMonoid< typename Element > |
concept | AdditiveMonoid< Element > |
auto concept | AdditiveAbelianGroup< typename Element > |
concept | MultiplicativePIMonoid< typename Element > |
concept | MultiplicativeMonoid< Element > |
auto concept | MultiplicativeAbelianGroup< typename Element > |
MultOp | |
Element | __pad1__ |
Element | SemiGroup< MultOp, Element > |
Element | __pad2__ |
Element | __pad3__ |
Element | __pad4__ |
MultiplicativeSemiGroup< Element > | |
MultiplicativePIMonoid< Element > | |
bit_or< T > | |
bit_and< T > | |
concept | IntrinsicSignedIntegral< typename T > |
struct math::Magnitude < std::complex< T > > | type |
Namespace for mathematical concepts.
In contrast to the ones in algebra the concepts can require basic implementation concepts like std::CopyAssignable