Logo MTL4

math::SemiNorm< N, Vector, Scalar > Struct Template Reference
[Concepts]

Concept SemiNorm. More...

#include <vector_concepts.hpp>

Inherits Norm< N, Vector, Scalar >.

Collaboration diagram for math::SemiNorm< N, Vector, Scalar >:

Collaboration graph
[legend]

List of all members.

Public Member Functions

axiom PositiveDefiniteness (N norm, Vector v, magnitude_type ref)
 The norm of a vector is zero if and only if the vector is the zero vector.


Detailed Description

template<typename N, typename Vector, typename Scalar = typename Vector::value_type>
struct math::SemiNorm< N, Vector, Scalar >

Concept SemiNorm.

Semantic requirements of a semi-norm

Parameters:
N Norm functor
Vector The the type of a vector or a collection
Scalar The scalar over which the vector field is defined
Refinement of:
  • Norm <N, Vector, Scalar>

Member Function Documentation

template<typename N , typename Vector , typename Scalar = typename Vector::value_type>
axiom math::SemiNorm< N, Vector, Scalar >::PositiveDefiniteness ( norm,
Vector  v,
magnitude_type  ref 
) [inline]

The norm of a vector is zero if and only if the vector is the zero vector.

if (norm(v) == zero(ref)) v == zero(v);

if (v == zero(v)) norm(v) == zero(ref);


The documentation for this struct was generated from the following file:


math::SemiNorm< N, Vector, Scalar > Struct Template Reference -- MTL 4 -- Peter Gottschling and Andrew Lumsdaine -- Gen. with rev. 7542 on 7 Apr 2011 by doxygen 1.5.9 -- © 2010 by SimuNova UG.