Vectors are defined in the module lib_vectors. Some basic functions on vectors are provided in the module lib_vectors_basics.
lib_vectors
lib_vectors_basics