[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 <[email protected]> To: [email protected]
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 <[email protected]> Reply-To: <[email protected]> To: <[email protected]> Cc: <[email protected]>, <[email protected]> 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. ________________________________________________________________________ _______________________________________________ Om mailing list [email protected] http://openmath.org/mailman/listinfo/om
