A little correction (Re: Using Set: Hypergraph type)

Eray Ozkural (exa) [email protected]
Tue, 4 Sep 2001 20:54:45 +0300


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

On Tuesday 04 September 2001 08:28 pm, Eray Ozkural (exa) wrote:
> Hi Dan,
>

I'm a bit sleepy, sorry. 

> Okay, I guess I got it now. The (types of) elements of a Set ought to be
> instances of Ord. So I presume Edison supports only flat sets. So, this is
> not really a mathematical set, whichever set theory you take to be correct
> :)
>

That is, if you use Set type. This would possibly be solved by using 
something like Coll (Set a) but I have to see that for myself and delve into 
Edison's docs a little more. Surely a data structure isn't supposed to be the 
same thing as a mathematical entity with the same name.

Thanks,

- -- 
Eray Ozkural (exa) <[email protected]>
Comp. Sci. Dept., Bilkent University, Ankara
www: http://www.cs.bilkent.edu.tr/~erayo
GPG public key fingerprint: 360C 852F 88B0 A745 F31B  EA0F 7C07 AE16 874D 539C
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.6 (GNU/Linux)
Comment: For info see http://www.gnupg.org

iD8DBQE7lRVnfAeuFodNU5wRAtoeAJ4gVxFNGvxQXGImi5UGCFK6u0uk7ACfZDzV
UsxeARwxnfQvXdwbUU+7/hE=
=m1qP
-----END PGP SIGNATURE-----