[Om3] CD-review little report

[Professor James Davenport]

On Thu, September 25, 2008 9:07 am, Paul Libbrecht wrote:
> Le 22-sept.-08 à 09:17, Professor James Davenport a écrit :
>> On Thu, September 18, 2008 1:45 pm, Paul Libbrecht wrote:
>>> - limit1
>>>   - limits: I did not touch any example thus far, we are not yet
>>> clear about the condition element I'm afraid but I see James has
>>> started to select examples using MML examples... but I don't see this
>> Really - I don't recognise this: can you give an example?
> Please see MMLExample elements there...
I really don't think I wrote these.
> Has there been any progress wrt conditions? I know this was discussed
> several times but I do not know the conclusions:
> - is there such an OM element?
> - if yes we should adapt several best practice for such symbols as
> those of limit1
> - if no, what is the translation of these MMLExample?
>
> In general, what is the process of translation?
There's  ichael's 'note', which I am still studying.
>>
>>> in the output. Also they seem to be speaking to different languages.
>>> Is this a current work of James?
>>>   - removed unary in limits1/limit... it doesn't seem strictly
>>> necessary (and is rather not k14)
>> My version (of http://svn.openmath.org//OpenMath3/cd/MathML/
>> limit1.ocd)
>> still seems to have it (in at least one place). I assume you mean
>> replacing "unary function" by "functions of a single variable",
>> which was the phrase I grew up with, or something similar.
>
> thanks had forgotten the general CD description.
> Now committed (in .ocd only).


James Davenport
Hebron & Medlock Professor of Information Technology
Formerly RAE Coordinator and Undergraduate Director of Studies, CS Dept
Lecturer on CM30070, 30078, 50209, 50123, 50199
Chairman, Powerful Computing WP, University of Bath
OpenMath Content Dictionary Editor
IMU Committee on Electronic Information and Communication