init (Tvector3_double)

init_one (Tvector3_double)

init_zero (Tvector3_double)

length (Tvector3_double)

squared_length (Tvector3_double)