Comprobacion

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

[Maple Math]

> evalm(transpose(v-w)&*S); v-w es ortogonal a S

[Maple Math]