Orthogonalization Facility, Gram-Schmidt Orthogonalization Process
Also gives us a dot product. There are many ways to construct the dot product by definition, as long as we have a positive definite symmetric bilinear form (according to Sylvesters criterion, all the main sub-determinants of the matrix representation are positive) we get a dot product. The real ...



