Vector product of two 3-vectors. (double precision)
va double[3] first vector vb double[3] second vector
vc double[3] vector result P.T.Wallace Starlink 31 October 1993