Logo MTL4
Public Member Functions
math::SemiNorm< N, Vector, Scalar > Struct Template Reference

Concept SemiNorm. More...

#include <vector_concepts.hpp>

Inheritance diagram for math::SemiNorm< N, Vector, Scalar >:
Inheritance graph
[legend]
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:
NNorm functor
VectorThe the type of a vector or a collection
ScalarThe 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 Sat Aug 11 2012 by doxygen 1.7.6.1 -- © 2010 by SimuNova UG.