math Namespace Reference

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

Detailed Description

Namespace for mathematical concepts.

In contrast to the ones in algebra the concepts can require basic implementation concepts like std::CopyAssignable

 All Classes Namespaces Functions Variables Typedefs Enumerations Friends
Generated by  doxygen 1.6.2-20100208