Comprobacion

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

[Maple Math]

> evalm(Q&*R-B);

[Maple Math]