#include <vector_concepts.hpp>
Public Member Functions | |
axiom | Distributivity (Vector v, Vector w, Scalar a, Scalar b) |
Invariant: Distributivity of scalars and vectors from left and from right. |
Vector | The the type of a vector or a collection | |
Scalar | The scalar over which the vector field is defined |
axiom math::VectorSpace< Vector, Scalar >::Distributivity | ( | Vector | v, | |
Vector | w, | |||
Scalar | a, | |||
Scalar | b | |||
) | [inline] |
Invariant: Distributivity of scalars and vectors from left and from right.
a * (v + w) == a * v + a * w; // Scalar from left
Vector from right: (a + b) * v == a * v + b * v;
Scalar from right: (v + w) * a == v * a + w * a;
Vector from left: v * (a + b) == v * a + v * b;
math::VectorSpace< Vector, Scalar > Struct Template Reference -- MTL 4 -- Peter Gottschling and Andrew Lumsdaine
-- Generated on 19 May 2009 by Doxygen 1.5.5 -- Copyright 2007 by the Trustees of Indiana University.