-
Notifications
You must be signed in to change notification settings - Fork 8
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Orthogonal transformation between commuting matrices #27
Comments
Could you provide a link to |
It's there |
The fact that A and B are commuting (i.e., AB = BA) does guarantee the existence of an orthogonal solution? I was not able to find such a result in the literature. |
Thanks for the literature search. Indeed, I don't think the commuting property is the right one. Actually there are pairs of matrices that do not commute for which I can find such orthogonal matrix. |
In SumOfSquares, we have pairs of commuting matrices
A
,B
and need to compute an orthogonal transformationX
such thatX * A = B * X
. This is implemented inorthogonal_transformation_to
. It basically callsschur(A)
andschur(B)
but then it's a bit subtle since the schur decomposition is not unique so we need to canonicalize in a similar way for both. It looks a bit like some of the equations of this package so I was wondering if it could fit into one of them.The text was updated successfully, but these errors were encountered: