Sequoia
|
Type to indicate a distinguished origin, relevant for free modules. More...
#include <Spaces.hpp>
Type to indicate a distinguished origin, relevant for free modules.
Unlike vector spaces, affine spaces do not have distinguished origin. Therefore, each coordinate system for an affine space is with respect to a particular origin. This is part of the type system to ensure that different coordinate systems cannot be unwittingly mixed. To allow vector spaces to be treated in a similar way to affine spaces, a type to represent the fact that their origins are distinguished is supplied.