[om] Specfun CD's (was: library)

[J H Davenport]

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"]
> and
>  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]>,
<factor(x^2+1)=factored(x+i,x-1)>

James

--
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