search

OpenMath / OMSTD

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

Disambiguate CDGroup/CDName #45

Closed kohlhase closed 6 years ago

kohlhase commented 6 years ago

see https://github.com/OpenMath/OM3/issues/131

kohlhase commented 6 years ago

This is mostly about aliasing, and therefore it is relevant for #57 and friends.

kohlhase commented 6 years ago

Wow, what a discussion. I have (tried to disambiguate) by changing the description of CDGroup/CDGroupMember/CDName from

The text occurring in the CDName element corresponds to the name of a Content Dictionary in the CDGroup.

to

The text occurring in the CDName element names the referenced Content Dictionary (see CDURL) in this CD group, it must be unique in the CD group. In particular, OMS elements in an OMOBJ whose cdgroup references the current CD group derive their CD base via this CDName.

This allows the aliasing practice referenced in the original issue, which is important to MathML.

kohlhase commented 6 years ago

I believe this closes this issue.