[Numpy-discussion] Definition of dot function