[om] Re: [CfD] Proposal for a Standard Change

[Michael Kohlhase]

Richard,

> spelling

[... noted thanks ...]

> I suggest that you look at the wording for the common lisp reader/writer for
> circular lists in the ANSI standard.

That is a good idea. Will do.

> I see no reason for an OM object not to be able to dominate itself, if
> I understand the document. I see lots of reasons to allow this. In 
> particular,
> I might actually want to encode an infinite expression.  Your concern is
> probably that it could lead to difficulties in display. So fix
> the display program. Lisp has a flag called something like
> *circle-print*.


I totally that this is ALSO a reasonable position and could be an
interesting proposal for a standard change. 

As I noted in my previous e-mail, I encourage anyone to go ahead and make
this proposal and champion it. 

I just happen to think that my proposal is less invasive (it does not
change the underlying data model), and that is why I am championing it.

     Michael

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