Revision history [back]
 | 1 | initial version |
You can use the method complement. In your case:
sage: U_perp = U.complement()
sage: U_perp
Vector space of degree 4 and dimension 2 over Finite Field of size 2
Basis matrix:
[1 1 0 0]
[0 0 0 1]
We can easily check that this is indeed the orthogonal complement:
sage: [ b*c for b in U_perp.basis() for c in U.basis() ]
[0, 0, 0, 0]
