Skip to main content
1 of 3
Imu
  • 13
  • 2

Define Constants in a field

How can I to define a constant in Z_2?

For example, I want to create a constat, "b". Then, when I use "b", I`d like "b" got the properties of an element of Z_2, for example, b+b=0, b^n=b, ...

Thanks.

Imu
  • 13
  • 2