1
$\begingroup$

In the following code:

<< FiniteFields`
GF[2][{0}] + GF[2][{0}] == GF[2][{0}]
GF[2][{0}] + GF[2][{0}] + GF[2][{0}] == GF[2][{0}]

Why does the second line not evaluate to True, while the third line does? This seems to be an inconsistent treatment of finite field elements.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.