Should FIELD interface include ZERO, ONE, and equals?
duetosymmetry opened this issue · comments
Every field has an additive identity ZERO, multiplicative identity ONE, and of course a test for equality. I think it would make sense to add these to the interface definition for FIELD.
What would you like to do with these attributes? I mean you are right, but these field attributes are not needed by any operation atm, or am I missing something?