[om] Re: [om-a] Draft version of OpenMath 1.1 available

[David Carlisle]

Michael: [redirected the discussion to om at openmath.org instead of om-announce]
Yes a good idea. Here's a reply to Andreas that I just sent to om-announce..


Date: 23 Oct 2002 23:19:13 +0100
From: David Carlisle <davidc at nag.co.uk>
To: strotman at cs.fsu.edu
CC: om-announce at openmath.org
In-reply-to: <Pine.GSO.4.33.0210231556340.4304-100000 at diablo.cs.fsu.edu>
	(message from Andreas Strotmann on Wed, 23 Oct 2002 16:07:22 -0400
	(EDT))
Subject: Re: [om-a] Draft version of OpenMath 1.1 available

> 
> In particular, why not just make repeated variables ``erroneous'' in the
> CLtL sense (undefined, but not an error) instead of this arbitrary rule?

I think mainly as this effectively keeps all existing reasonable OM
objects valid, and with the same interpretation as before. This seems a
good objective for a "point" release. For an OM 2 (or if we'd got it
right in OM 1) then maybe error would be a possibility but I didn't want
to suggest invalidating such objects in OM 1.1.


> what's more, it contradicts the variable-renaming rule in the
> preceding

er that would be bad. I just read the text and don't see a conflict
If you have an expression with repeated variables teh preceding alpha
renaming rule would just give you an expression with a new repeated
variable and then the new paragraph would still apply wouldn't it (it's
maybe too late in teh evening to be thinking about this:-)

> (which incidentally needs to be generalized to the n-variables case, I
> just realized). 

True it probably should be, thanks.

David




_____________________________________________________________________
This message has been checked for all known viruses by Star Internet
delivered through the MessageLabs Virus Scanning Service. For further
information visit http://www.star.net.uk/stats.asp or alternatively call
Star Internet for details on the Virus Scanning Service.
--
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