I am interested in the QL decomposition of a binary invertible matrix in $\mathbb{F}_2^{n\times n}$.
I am aware that finding the QL decomposition is equivalent to finding the QR decomposition from some old Reddit post. Consider the binary matrix $F$ with 1's in the anti-diagonal and everywhere 0. Then this is a particular instance of a permutation matrix; $AF$ reverses the order of the columns of $A$, and $FA$ reverses the order of the rows of $A$. We also have $F^2$ = 1. Then for any binary matrix $A$, once we know how to do the 'binary' QR decomposition, then we can decompose as $AF = QR$. Then, $$A = AF^2 = (AF)F = QRF = QF^2RF = (QF)(FRF)$$ in which QF is again an orthogonal matrix, and FRF is a lower triangular matrix. Hence if we let $Q'=QF$ and $L' = FRF$, then $A = Q'L'$, leading to a QL decomposition of $A$. A symmetric argument leads that the QR decomposition is equivalent to finding the QL decomposition.
This argument seems to work for binary matrices, so I need to find either QL or QR decomposition of binary matrices. Surprisingly, googling these keywords didn't seem to bring any fruitful result. How would one tackle this problem?
Edit) As I mentioned in the comments, I want to know whether the QR decomposition exists for invertible binary matrices, but I do not care whether the computation is impractical or if there is no algorithm.