# Solution of a system of equations in a finite field using Mathematica

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 Answer

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

-
Alternatively, Solve[{x^2 + y^2 + z^2 == 1, x + y == 1}, {x, y, z}, Modulus -> 2]. –  Ｊ. Ｍ. Dec 1 '11 at 12:16
This is fine, if you work over the prime field. But has Wolfram implemented support for other finite fields? I asked around about that may be 15 years ago (an am still running Mathematica ver 3.0 :-) –  Jyrki Lahtonen Dec 4 '11 at 15:14
I think so: Modulus->8 works. –  user7530 Dec 4 '11 at 16:20