How does SageMath compute the Jordan form of a block diagonal matrix? [closed]

asked 2 years ago

Let M be a block diagonal matrix diag(B1,,Bm). Let (pi) be the orthogonal projections such that Bi=piMpi. If you compute the Jordan form of M using SageMath as follows:

sage: jf, q = M.jordan_form(transformation=True)

Question: Is it true that q commutes with pi for all i?

It would be true if SageMath computes the Jordan form of M by computing the Jordan form of each Bi.

Preview: (hide)

Closed for the following reason duplicate question by tmonteil
close date 2022-12-11 11:27:10.210487