Python：有限域上的矩阵的核

Question

我想计算大小约为100 x 100的矩阵M的内核，其中所有条目都是模2。 如果M是sympy.Matrix，则M.nullspace会有M.inv_mod(2)，但这会计算出有理数并且计算时间过长。 我还测试过内核非平凡（LATERAL JOIN失败）。

• 所以Sympy: Solving Matrices in a finite field没有帮助。
• Test if matrix is invertible over finite field告诉使用Sage来检查可逆性，所以我假设Sage也可以计算内核，但我认为Python从那时起（2013年）已经发展。

有什么想法吗？