David Carlisle wrote: >> <apply> >> <csymbol cd="logic1">and</csymbol> >> <apply><csymbol cd="relation1">eq</csmbol>a >> b(xml:id="foo")</csmbol></apply> >> <apply><csymbol cd="relation1">eq</csmbol><share href="foo"/> >> c</csmbol></apply> >> </apply> >> >> I must say that I like this a lot. >> > > Normally Michael liking something is reason enough to object, but he may > have a point here. > I will have to strategically rethink what I admit to liking :> to throw you off this track, ... OTOH, I might use this reaction in the future....
So I will publicly say that I like your argument below (a lot). Another thing that is much in favor of the OMR/share solution is that if b is big this saves space. Michael > The default presentation (at least the presentation currently used in the > CDs) goes via cmml -> OM -> pmml and currently if > > <apply><eq/> a b c </apply> > > maps to a thing with binary and and = then it will have a default > presentation of > > (a = b) and (b = c) > > which isn't really what you want. > > I could make the OM->pmml stylesheet try to spot that adjacent terms are > identical and if so use the compressed layout > a = b = c > but that would mean in general comparing arbitrary XMl fragments for > equality which is a bit painful, and sometimes you may _want_ the > expanded layout. > > On the other hand spotting that OMR usage is easy/quick and so it would > be easy to generate that from <apply><eq/> a b c </apply> and conversely > easy to give it a default presentation mathml layout of > a = b = c > > David > > > ________________________________________________________________________ > The Numerical Algorithms Group Ltd is a company registered in England > and Wales with company number 1249803. The registered office is: > Wilkinson House, Jordan Hill Road, Oxford OX2 8DR, United Kingdom. > > This e-mail has been scanned for all viruses by Star. The service is > powered by MessageLabs. > ________________________________________________________________________ > -- ---------------------------------------------------------------------- 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
