我有方程Ax = b，其中所有矩阵项和向量b的所有入口都在GF（2）中。我将如何在SAGE软件中通过GF（2）解决这个线性系统方程？
答案 0 :(得分：3)
这已在sage-support邮件列表中得到解答。为了完整起见，我基本上会剪切并粘贴答案：
sage: A = random_matrix(GF(2), 10000, 10000)
sage: A.det()
1
sage: b = random_vector(GF(2), 10000)
sage: x = A \ b
sage: A * x == b
True