Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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?

share|cite|improve this question
up vote 7 down vote accepted

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

share|cite|improve this answer
Alternatively, Solve[{x^2 + y^2 + z^2 == 1, x + y == 1}, {x, y, z}, Modulus -> 2]. – J. M. 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

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.