Basic_vector_operations
