Commit 2024-01-20 16:06 e3c20cbb

View on Github →

feat: BoundedSMul for matrix norms (#9817) This provides the fact that the norm of scaling a matrix of quaternions by a quaternion is bounded by the product of the norms.

Estimated changes