[Trac] [OpenMath] #15: sort out set/multiset in mcd examples
OpenMath
trac at strawberry.eecs.jacobs-university.de
Mon Jan 7 09:57:34 CET 2008
#15: sort out set/multiset in mcd examples
----------------------------+-----------------------------------------------
Reporter: kohlhase | Owner: jhd
Type: proposal | Status: assigned
Priority: blocker | Milestone: MathML3CD Draft1
Component: MathML CDs | Version:
Resolution: | Keywords:
Include_gantt: 0 | Dependencies:
Due_assign: YYYY/MM/DD | Due_close: YYYY/MM/DD
----------------------------+-----------------------------------------------
Comment (by kohlhase):
> Good - that clarifies one key point. You also said:
> >James, the format is more or less a historical accident, it was built
up from what I found in the MathML3 spec sources. What was there was
probably inspired by CDs, but never really designed to be a CD format.
> In that case, might we not be better off (at least in this case)
starting off with the OM, and adding elements from MML, rather than the
other way round.
I thought basing the CD3 on OM was what we decided in our last phonecall,
that is what I communicated to the Math at W3C group and they accepted this
as viable. So this is what we should do.
--
Ticket URL: <https://trac.kwarc.info/OM3/ticket/15#comment:8>
OpenMath <http://www.openmath.org>
The development of the OpenMath Standard and Content Dictionaries.
More information about the Trac
mailing list