擅长:python、mysql、java
<p>不幸的是,SymPy还不能处理矩阵中的有限域,尽管支持是计划好的。在</p>
<p>不过,正如一些评论者所指出的,你可以只检查整数的行列式。如果它是1(模2),矩阵是可逆的。要真正求逆,只需对整数求正逆,乘以行列式(这样就没有分数),然后将每个元素修改为2。我无法想象它的效率会有多高,而且你可以使用任何矩阵库,甚至是一个数值库(四舍五入到最接近的整数)。SymPy也可以执行这些步骤中的每一步。在</p>
<p>我要指出的是,在一般的循环有限域中,“乘行列式”部分需要乘以逆mod p来撤销(不需要mod 2,因为唯一的可能性是1)。在</p>