W3C home > Mailing lists > Public > www-math@w3.org > March 2006

Re: Mathematical selection

From: W Naylor <wn@cs.bath.ac.uk>
Date: Fri, 31 Mar 2006 11:31:16 +0100 (BST)
To: Paul Libbrecht <paul@activemath.org>
cc: Richard Kaye <R.W.Kaye@bham.ac.uk>, Public MathML mailing list <www-math@w3.org>
Message-ID: <Pine.LNX.4.61.0603311118470.22756@ralph.cs.bath.ac.uk>

On Thu, 30 Mar 2006, Paul Libbrecht wrote:

> 
> Bill, can you detail how different such a configuration file would be from a
> complete parser to content ? (say, as a CAS-parser, or as QMath) ?
> 
> I believe there's none except that parsers to content need to be complete. Do
> I mistake ?
> 

I believe that the configuration files could be a lot simpler than a 
parser, as they only need to say what rules should be satisfied rather 
than how to do it. There is a slight parallel with an OpenMath <-> Maple 
translator developed at ORCCA (UWO), though I don't know of any 
documentation for that, of course precedense is not an issue with 
OpenMath (since OpenMath follows a standard model), but it is for 
Maple. I do recall that these configuration files did have a means for 
including Maple code (so could be arbitarily complex). The actual 
translator code used these configuaration files as a resource.

Your point about the config files not needing to be complete, is 
important and in fact necessary, because this allows the config files to 
be extensible, as and when new operators or uses for operators become 
available,

Bill

> thanks
> 
> paul
> 
> W Naylor wrote:
> > Your point is perfectly valid, if you look at my earlier mail, I say:
> > 
> > "In order for the machine generated MathML to include mrows at the
> > appropriate places, it would be necessary to pay attention to precedence
> > rules. It strikes me that though many of these are fairly universal, we
> > hit the usual ambiguity of presentation mathematics problem. Maybe this
> > could be circumvented using configuration files of some sort."
> > 
> > this was the problem that I was suggesting could be circumvented by using
> > some sort of configuration files, I am not aware however of any
> > conventions/standards for the format of config files for stating these
> > rules, maybe someone else has some experience here?
> > 
> 
> 
> 
> 
> 

-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*
-
-                  Dr. W.A. Naylor
-
-                  http://www.cs.bath.ac.uk/~wn
-                  http://orcca.on.ca/~bill
-
-                  work tel: +44 1225 386183
-
-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*
Received on Friday, 31 March 2006 10:31:29 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Saturday, 20 February 2010 06:12:58 GMT