let (/~) v1 v2 = v_div v1 v2