code: public Vector4d rotateAxis(double angle, double x, double y, double z) {
          return rotateAxis(angle, x, y, z, thisOrNew());
      }
docs: Rotate this vector the specified radians around the given rotation axis.
  
  @param angle
  the angle in radians
  @param x
  the x component of the rotation axis
  @param y
  the y component of the rotation axis
  @param z
  the z component of the rotation axis
  @return a vector holding the result