Ciro Santilli @cirosantilli 35

See: exam.

Then a specific metric is involved, sometimes we want to automatically add it to products.

E.g., in a context considering the common Minkowski inner product matrix where the $\eta$ 4x4 matrix and $\mu$ is a vector in ${\mathbb{R}}^4$which leads to the change of sign of some terms.

Every invertible matrix $M$ can be written as:where:Note therefore that this decomposition is unique up to swapping the order of eigenvectors. We could fix a canonical form by sorting eigenvectors from smallest to largest in the case of a real number.

Intuitively, Note that this is just the change of basis formula, and so: