I have a question regarding the consistency of ring1 and field1 OM content dictionaries. In ring1 the unary_minus is called "negation" which is consistent with the other operations in rings because it ends in "-ation", but in field1 the unary_minus is called "minus". Is there a reason for this?
Regards, Andrew Robbins _______________________________________________ Om mailing list [email protected] http://openmath.org/mailman/listinfo/om
