#include <vector_concepts.hpp>
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. |
Concept SemiNorm.
Semantic requirements of a semi-norm
N | Norm functor | |
Vector | The the type of a vector or a collection | |
Scalar | The scalar over which the vector field is defined |
axiom math::SemiNorm< N, Vector, Scalar >::PositiveDefiniteness | ( | N | 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);