[Om3] OMS and OMV contents?

[David Carlisle]

> On Wed, 11 Jul 2007, Michael Kohlhase wrote:
> one thing we have to think about wrt. OM3/MathML3 alignment is whether
> we want to allow presentation MathML in the body of OMV and OMS
> elements. I know we have discussed this before (for OM2) and rejected
> it, but with the alignment goal this question raises it's ugly head
> again.

I think not, and probably not in "canonical mathml" either.
<apply>
  <csymbol>
    (: presentation mathml for a purple f with a green overbar:)
  </csymbol>
  <ci>
    (: presentation mathml for a red x :)
   </ci>
</apply>

is (or could be specified as being) equivalent to

<apply>
  <semantics>
  <csymbol>some name that's valid as an OM name and is derived as any
  kind of hash function from the p-mml</csymbol>
  <annotation-xml>
    (: presentation mathml for a purple f with a green overbar:)
  </annotation-xml>
  </semantics>
  <semantics>
  <ci> again some name, to be determined</ci>
   <annotation-xml>
   (: presentation mathml for a red x :)
  </annotation-xml>
  </semantics>
</apply>

Thus I think it's sufficient to align on csymbols with text. Of course
even for text we have the problem that OMS names are XML Name tokens but
csymol can take arbitrary XML data. <csymbol>2-norm</csymbol> for
example doesn't translate too naturally to OM2.

James wrote
> OMV: Here the question is more subtle - does the presentation create a NEW
>      OMV, or not.
For MathML, it does, that is if you use presentation in a ci in a bvar
construct it is only supposed to bind ci using the same content
(presentation and all). But you can still, as above, generate a unique
name for the bound variable that takes account of the presentation
but is itself just some flat string.

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