[om] Specfun CD's (was: library)
J H Davenport
jhd at maths.bath.ac.uk
Fri Aug 10 18:32:08 CEST 2001
On Thu, 9 Aug 2001, Richard Fateman wrote:
> Having scanned through it, I do not see what questions
> of style are being raised. Perhaps I must read it more
> carefully, but a hint as to a page number (1-14) would help.
20/21 in the current version.
> I find it odd to try to defend terms like "factor", clearly
> an imperative command, as not an indication of an operation, but
> as some object. The description is on page 7 of the document.
> If you were writing in lisp, you could distinguish easily between
> 'factor [a symbol with print-name "factor"]
> factor [which could denote its value, perhaps an executable program]
True, but I don't think this is the distinction we are trying to make.
In a mathematics paper, one could well write (using <> to denote OpenMath
objects in text)
<factor(x^2+1)=factored(x^2+1)> over <Z>, but over <Z[i]>,
om at openmath.org - general discussion on OpenMath
Post public announcements to om-announce at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-owner at openmath.org for assistance with any problems
More information about the Om