Comprobacion

> evalm(transpose(Q)&*Q); Las columnas de Q son ortonormales

[Maple Math]

> evalm(Q&*R-A);

[Maple Math]