Vector3D Vector3RotateByAxisAngle(Vector3D v, Vector3D axis, double angle) => v.rotateByAxisAngle(axis, angle);