crossproduct dot3 euler leibniz matrix pi tensor vector