complejas
> F:=matrix(4,4,[1,1+I,2,3-I,1-I,4,2-I,3*I,2,2+I,8,3-I,3+I,-3*I,3+I,50]);
> rango_signatura(F); F es una metrica unitaria en C^4
> T:=matrix(4,2,[1+I,2,3-I,4+2*I,5,1,3,5-I]):u:=matrix(4,1,[3-I,1,1+2*I,5]):
> z:=Proyeccion(u,T,F);
Comprobacion