Provide a VectorSpace.
A VectorSpace is
a set whose elements, often called vectors, can be added together and multiplied ("scaled") by numbers called scalars
Create the VectorSpace that is spanned by the list of vectors.
The empty VectorSpace.
Determines if two VectorSpaces are the same linear spaces.
Add a Vector to the basis of the VectorSpace.
Determinis if a Vector is contiained in the VectorSpace
The intersection of two VectorSpaces.
This is formed by the linear space of all the vectors that are contained in both VectorSpaces.
The VectorSpace type.
It is parameterized over the elements its vectors contains.