Module space

Module space 

Source
Expand description

Linear (vector) spaces and affine spaces.

TODO

Structs§

Hom
Proj3
Tag type for the projective 3-space over the reals, 𝗣3(ℝ).
Real
Tag type for real vector spaces and Euclidean spaces.

Traits§

Affine
Trait for types representing elements of an affine space.
Linear
Trait for types representing elements of a linear space (vector space).