code: def rotateCoords(coords, R):
      
      newlist = list()
      for pp in coords:
          rpp = matrixTimesVector(R, pp)
          newlist.append(rpp)
      return newlist
docs: Rotate the list of points using rotation matrix R
      :param coords: List of points to be rotated
      :param R: Rotation matrix
      :return: List of rotated points