Re: rewrite: apply bvar domainofapplication

Andreas,

> I suggest replacing this by something like the following, interpreting domainofapplication 
> as a restriction on the operator:

Speaking personally I was going to make the same suggestion, which I
didn't make earlier as we needed an interal spec-freeze to get things
checked and ready for a public draft.

At the time these rules were drafted the mapping to openmath of
domainofapplication was a little difficult as the domainofapplication
symbol in fns1 which was described as being for this use was so under
defined (at best) or wrong (at worst).  The proposed update to fns1 at

http://monet.nag.co.uk/~dpc/cdfiles2/cd/fns1.xhtml

deprecates the existing fns1:domainofapplication symbol and introduces a
restriction symbol, this is already used in 
Rewrite: lambda domainofappliction 
and I agree it could be usefully used here as well.

These updated CDs have been submitted to the OM meeting in July and
hopefully will be endorsed (possibly with corrections/improvements etc)
so that by the next MathML draft we will have them in place at openmath.org.


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

Received on Sunday, 7 June 2009 10:24:03 UTC