News for hackers. Stuff that matters.

A comment on Exponentially Better Rotations. Parent comment

Re:Exponentially Better Rotations by chombier on Wednesday April 20, 2022 @04:19AM (#31094139)
I found this nice accessible proof for the interested: https://planetmath.org/slnrisconnected
[ Parent | on HN ]
Re:Exponentially Better Rotations by andi999 on Thursday April 21, 2022 @11:49AM (#31111047)
Is this part of the proposition: x=exp X, and x having a double eigenvalue implying that X has a double eigenvalue somehow clear? How do you prove it?
[ Parent | on HN ]