I want to solve a linear matrix equation in mod 2, which takes the form `AX = B`. Here A and B are non-square matrices of equal non-zero rank, with some redundancies. ie. number of columns in A and B are greater than their column rank, so some columns are linear combinations of the others and we are dealing with an underdetermined system.