Comprobacion

> rank(augment(S,w)); w es un vector de S

[Maple Math]

> evalm(transpose(v-w)&*F&*S); la metrica utilizada es la de Hilbert

[Maple Math]