<SYSTEM_TASK:>
Solve the following problem using Python, implementing the functions described below, one line at a time
<END_TASK>
<USER_TASK:>
Description:
 def vtmv(v1, matrix, v2):
 """ Multiply the transpose of a 3-dimensional column vector a 3x3 matrix, and a 3-dimensional column vector. http://naif.jpl.nasa.gov/pub/naif/toolkit_docs/C/cspice/vtmv_c.html :param v1: 3 dimensional double precision column vector. :type v1: 3-Element Array of floats :param matrix: 3x3 double precision matrix. :type matrix: 3x3-Element Array of floats :param v2: 3 dimensional double precision column vector. :type v2: 3-Element Array of floats :return: the result of (v1**t * matrix * v2 ). :rtype: float """

    v1 = stypes.toDoubleVector(v1)
    matrix = stypes.toDoubleMatrix(matrix)
    v2 = stypes.toDoubleVector(v2)
    return libspice.vtmv_c(v1, matrix, v2)