[om] a couple of questions

[Richard Fateman]

I think this is like the set construction in pascal, in which
you enumerate the values possibly present in a set, say
 a,b,c,d,e,f,g.... 

and then a particular object in that class is a bitmap indicating
by a 0 or a 1 whether that element is in the set.  Thus the
set {a d f}  would be
1 0 0 1 0 1 0 ...
and the notion that a, d, f  would have values associated with
them is not at all under consideration.

So the answer is:
 a bitmap.  (another name for a binding constructor??)

RJF

Steve Linton wrote:
> 
> The nicest solution perhaps would be to define a binding constructor for
> defining a finite set of bound variables. Then you could create a scope in
> which a, b, and c where the bound variables of this constructor, and even
> non-CD reading applications would know that only the names of a b and c were
> meaningful, and how far that meaning extended.
> 
>         steve
> 
> --
> 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
--
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