The built in function:
where m is a list of vectors returns a orthogonal basis for m. However, I want to stick to the binary field. However, I tried this:
But this just still gives a set of vectors with negative coordinates.
Can anyone please help.