[Om3] CD-review little report

[Professor James Davenport]

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?
> 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
te phrase I grew up with, or something similar.
>    - I have rephrased "takes no argument" to "cannot be applied"
Certainly an improvement.

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