6
$\begingroup$

We can solve a system of equations over reals using Mathematica as follows.

Solve [x^2+y^2+z^2==1 && x+y==1, {x,y,z}] 

How one can solve a system of equations over a finite field like GF(2) using Mathematica?

1 Answers 1

7

Solve[x^2+y^2+z^2==1 && x+y==1, {x,y,z}, Modulus->2]

  • 0
    I don't think it works. Modulus ->$8$means solve the equation in $\mathbb{Z}_8$. $\mathbb{Z}_8$ is not a field since is characteristic is $8$.2018-04-24