init (Tvector4_double)

init_one (Tvector4_double)

init_zero (Tvector4_double)

length (Tvector4_double)

squared_length (Tvector4_double)