How can I to define a constant in $Z_{2}$?
For example, I want to create a constant b
that inherits the properties of an element from $Z_{2}$. For example
b + b = 0
b^n = b
Answer
Your question focuses on the wrong aspect of finite fields. It's not the numbers 0 and 1 that change because you are working with $Z_2$, it's the arithmetic operators. You could define your own operators plusZ2
and TimesZ2
.
An alternative is to load the finite fields package with Needs[FiniteFields`]
, which overloads the relevant arithmetic operators for you.
Comments
Post a Comment