[Om3] binary vs n-ary relations

[David Carlisle]

> 2. we still have pragmatic MathML of the form
>      <apply><eq/>a b c</apply>
>      but that will be translated to


which is good as that's exactly what we specified before, exactly the same
example appears as illustration 4 on page 18 of 25 of

http://www.openmath.org/documents/om-mml.pdf

although it's incorrectly imnplemented in

http://svn.openmath.org/OpenMath3/xsl/cmml2om.xsl

which produses
<OMA><OMS name="eq"/>
<OMV name="a"/><OMV name="b"/><OMV name="c"/>
</OMA>

but I'll fix that.

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. 
________________________________________________________________________