Dear all, I have set up a TRAC issue https://trac.kwarc.info/OM3/ticket/25 for this. It would be good, if we could have as much of the discussion there to keep the OM3 mailing list for announcements. So, go to https://trac.kwarc.info/OM3, sign up (so that you can contribute and put up your views in the issue.
Michael > Dear all, > > I have been looking at product and sum some more in the context of the > lifted AC operators (see https://trac.kwarc.info/OM3/ticket/23), and > there the situation gets even thornier. We have the mathml <sum/> token > element, which in the classification above is plus-exp, and we have the > [EMAIL PROTECTED] symbol in OpenMath, which is actually plus-coll. > > So we have to decide where the simple backwards compatibility wins, > MathML or OpenMath. In my mind plus-exp should be named 'sum' somehow. > But it should not be [EMAIL PROTECTED], which is already taken. > > This raises the general question, what the names of the content > dictionaries will be for the MathML CDs should be. Maybe we have to > invent new names to make sure that the old OpenMath CDs from the MathML > Group are deprecated. Maybe we should use m:arith.cd3 for the joint > MathML3/OpenMath3 CD for arithmetic smbols. That would at least make the > design easier, since we do have have backwards compatibility problems. > > We will have to discuss this in the near future in the OM3 group, so > please give us your opinion. > > Michael > > -- ---------------------------------------------------------------------- Prof. Dr. Michael Kohlhase, Office: Research 1, Room 62 Professor of Computer Science Campus Ring 12, School of Engineering & Science D-28759 Bremen, Germany Jacobs University Bremen* tel/fax: +49 421 200-3140/-493140 [EMAIL PROTECTED] http://kwarc.info/kohlhase skype: m.kohlhase * International University Bremen until Feb. 2007 ---------------------------------------------------------------------- _______________________________________________ Om3 mailing list [email protected] http://openmath.org/mailman/listinfo/om3
