rotateByAxisAngle method
Implementation
V3 rotateByAxisAngle(V3 axis, double angle) {
final w = axis.normalize().scale(math.sin(angle / 2.0));
final wv = w.crossProduct(_this);
final wwv = w.crossProduct(wv).scale(2);
return add(wv.scale(2 * math.cos(angle / 2.0))).add(wwv);
}