vector_space

Classes
VectorSpace
VectorSpace_ambient
VectorSpace_generic
VectorSpace_subspace
VectorSpace_subspace_with_basis

Variables


[show private | hide private]