main.c generates a random matrix and a random vector, multiplies the mat with the vector sequentially and calculates the norm of two vectors; ws7_ contains the original functions