[om] About OMV and indexing

Manfred Riem mriem at win.tue.nl
Mon Jan 26 14:10:42 CET 2004

Thanx for the clarification. 

Makes my life a lot easier for the new library implementation.

> -----Original Message-----
> From: owner-om at openmath.org [mailto:owner-om at openmath.org] On 
> Behalf Of Mike Dewar
> Sent: Monday, January 26, 2004 2:08 PM
> To: om at openmath.org
> Subject: Re: [om] About OMV and indexing
> Hi Manfred,
> I suspect that the proposal for indexed variables will be 
> dropped from the next draft.  There are subtle issues about 
> equality and the people who originally asked for it no longer need it.
> The problem has always been that we want to be able to 
> restrict the second child of an OMBIND to be a list of 
> variables and anything starting with OMA is not a variable.  
> We could introduce other rules of course but this would just 
> complicate matters.
> Cheers, Mike.

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