OpenMath / OMSTD

The OpenMath Standard (starting with OpenMath 2)
9 stars 5 forks source link

attribute CD/@version #46

Closed kohlhase closed 6 years ago

kohlhase commented 6 years ago

clange on 6-Sep-2008 10:42pm

It would be nice to have an attribute CD/version. That would make processing easier, particularly in applications that support both OpenMath 2 and 3.

I suspect he means that the top-level element of a CD should be

<CD xmlns="http://www.openmath.org/OpenMathCD" version="OM2">

or something like this. we have it on OMOBJ for exactly that reason.

kohlhase commented 6 years ago

version="OM2">

I guess that should be version="2.0"> to be compatible with OMOBJ.

I also think we should introduce the version attribute on CDSignatures and CDGroup as well, just to be generally consistent.

If we agree on this, this should be easy to add to the RNC and the OM2r2 text.

kohlhase commented 6 years ago

This is taken care of in PR #63