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 _______________________________________________ Om3 mailing list [email protected] http://openmath.org/mailman/listinfo/om3
