init (Tvector2_double)

init_one (Tvector2_double)

init_zero (Tvector2_double)

length (Tvector2_double)

squared_length (Tvector2_double)