[Om] Fwd: Re: Question concerning OpenMath encoding (fwd)

[David Carlisle]

[I removed the pdf attatchment - David]

-------- Original Message --------
Subject: Re: [Om] Question concerning OpenMath encoding (fwd)
Date: Fri, 26 Mar 2010 12:38:32 +0000 (GMT)
From: Professor James Davenport <jhd at cs.bath.ac.uk>
To: davidc at nag.co.uk

Could you post this to OM - I've tried twice and it keeps gegting held.
James

---------- Forwarded message ----------
Date: Fri, 26 Mar 2010 09:42:11 +0000
From: Professor James Davenport <J.H.Davenport at bath.ac.uk>
Reply-To:  <XX10190-lecturers at bath.ac.uk>
To:  <om at openmath.org>
Cc:  <jhd at cs.bath.ac.uk>,  <Bistiaan.Heeren at ou.nl>
Subject: Re: [Om] Question concerning OpenMath encoding

[My previous post was held]
On Thu, March 25, 2010 7:51 am, Heeren, Bastiaan wrote:
>Hello,
>
>I have a silly question about the OpenMath encoding, and the symbols
>defined in the list1 dictionary in particular. Suppose I want to represent
>the empty list with the n-ary symbol list1.list. Should that be:
>
>   <OMA><OMS cd='list1' name='list' /></OMA>
>
>or just:
>
>   <OMS cd='list1' name='list' />
>
>In case both are correct, would you consider one to be better than the
>other one?
Very defiitely the first. The second is the operator itself, not the
result (thinking in an operational way, which of course if not the only
way to view OpenMath). Oddly enough, I was lecturing on a very similar
point (in the context of MatLab) a few weeks ago: relevant slide attached.
>I could not figure out the correct encoding from the online documentation.
>To me, it seems strange to have an application without arguments to the
>function. On the other hand, if you are expecting a list, it is more
>regular to have the <OMA> surrounding the list symbol.
This obviously depends on one's point of view, but the OpenMath
documentation is probably not as clear as it should be here. I'll think
about this.

James Davenport
Hebron & Medlock Professor of Information Technology and
ex-Acting Head of Department of Computer Science and
Former Chairman, Powerful Computing WP, University of Bath
OpenMath Content Dictionary Editor
IMU Committee on Electronic Information and Communication
Recently Visiting Full Professor, University of Waterloo





________________________________________________________________________
This e-mail has been scanned for all viruses by Star.
________________________________________________________________________

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