Post #2342912

@mathemagical@mathstodon.xyz No, I don't know anything about tropical geometry. I just knew that quaternions are geometrically equivalent to 3x3 orthonormal matrices, matrix multiplication is not commutative (the problem), matrix addition is, log and exp exist on matrices, and so I figured there had to exist such an operation for quaternions as well, and it turns out it's not that difficult to compute (unless the AI has lied to me, I haven't verified it experimentally). Well, it's still trig functions, but it's not iterative.