[Om] Consistency in ring1, field1

Michael Kohlhase m.kohlhase at jacobs-university.de
Fri Dec 18 08:44:11 CET 2009

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.


2009/12/17 Andrew Robbins <andjrob at gmail.com>

> 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
> Om at openmath.org
> 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
m.kohlhase at jacobs-university.de http://kwarc.info/kohlhase
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://openmath.org/pipermail/om/attachments/20091218/8d8cdd67/attachment.htm 

More information about the Om mailing list