Comprobacion

> evalm(htranspose(U)&*U); U es unitaria

[Maple Math]

> evalm(htranspose(V)&*V); V es unitaria

[Maple Math]

> equal(A,U&*Sigma&*V);

[Maple Math]