Dear Andrew, the reason is probably that the CDs are the product of multiple authors over an exteded period of time. You are right that this is an inconvenient inconsistency, but the OpenMath CD managment rules prevent us from just fixing this. So I am afraid that we have to live with this.
But the situation is less bad than it may seem at first glance. The OpenMath symbol names are not intended for end user visualization in any case. So any visulalization style sheet (or our notation-definition visualization scheme) can choose their own user-visible notation. Michael 2009/12/17 Andrew Robbins <[email protected]> > 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 > -- ----------------------------------------------------------------------- Prof. Dr. Michael Kohlhase, Office: Research 1, Room 62 Professor of Computer Science Campus Ring 1, Jacobs University Bremen D-28759 Bremen, Germany tel/fax: +49 421 200-3140/-493140 skype: m.kohlhase [email protected] http://kwarc.info/kohlhase --------------------------------------------------------------------
_______________________________________________ Om mailing list [email protected] http://openmath.org/mailman/listinfo/om
