How do you compute the dot product for 6j*4k?