add function orth(), and complete the orthonormalize_approx.cpp