Is there a simple way to find the inverse of matrices in $\text{SL}(n,\mathbb{Z}_2)$?

Question

I am using Python and I noticed that there seems no implementation that enables one to invert a binary matrix. Aka, I want to find $A^{-1}$ for any invertible $A \in \text{SL}{(n,\mathbb{Z}_2)}$.

Can anyone tell me if I can do so in any way in Python? Thanks!

Answer 1

I think this repository helps: https://github.com/xiangzejun/binary_matrix

This repository used Python to implement a module that enables one to do things like checking invertibility, finding the inverse, calculate rank, etc. The only problem is that the repository was written in Python 2. I manually converted it to Python 3.