linear_isometry_complex_aux source