From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id KAA13294 for caml-red; Wed, 24 May 2000 10:06:11 +0200 (MET DST) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id BAA12538 for ; Tue, 23 May 2000 01:56:42 +0200 (MET DST) Received: from motgate.mot.com (motgate.mot.com [129.188.136.100]) by concorde.inria.fr (8.10.0/8.10.0) with ESMTP id e4MNuXD19825 for ; Tue, 23 May 2000 01:56:41 +0200 (MET DST) Received: [from pobox.mot.com (pobox.mot.com [129.188.137.100]) by motgate.mot.com (motgate 2.1) with ESMTP id QAA21349 for ; Mon, 22 May 2000 16:56:32 -0700 (MST)] Received: [from postal.somerset.sps.mot.com (postal.somerset.sps.mot.com [163.12.132.5]) by pobox.mot.com (MOT-pobox 2.0) with ESMTP id QAA22143 for ; Mon, 22 May 2000 16:56:32 -0700 (MST)] Received: from ibmoto.com (hodaka.somerset.sps.mot.com [163.12.105.57]) by postal.somerset.sps.mot.com (8.10.1/8.10.1) with ESMTP id e4MNuVd11895 for ; Mon, 22 May 2000 18:56:31 -0500 (CDT) Sender: weis Message-ID: <3929C92F.203ED338@ibmoto.com> Date: Mon, 22 May 2000 18:56:31 -0500 From: nari Organization: Motorola/IBM Somerset PowerPC Design Center X-Mailer: Mozilla 4.7 [en] (X11; I; SunOS 5.6 sun4u) X-Accept-Language: en MIME-Version: 1.0 To: caml-list@inria.fr Subject: Ocaml library implementing equivalence classes and partial orders Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Hi, I was wondering why there has been no Ocaml library implementation for equivalence and partial order relations (at least over basic types) just as we have a 'Set' library over ordered types. For example, an equivalence class module may export functions such as type t val create_equiv: Set.t -> eqrelation.t -> t val query_eqclass: t -> Set.elt -> Set.t ........ If the user specifies a set of elements and the user defines the equivalence relation on those elements, the function should return a datatype that can be further queried for equivalence classes of individual elements. Is there any specific reason why such a generic library may be hard to implement? If not, are there any implementation issues we need to be concerned about. Thanx. -- ************************************************************************** Narayanan Krishnamurthy (Nari) ASP Advanced Tools and Methodology Motorola SPS Architecture and Systems Platforms Motorola Inc. Semiconductor Products Sector 7700 W. Parmer Lane, Austin, TX 78729 Loc/MD: TX32/PL30 _ email : nari@ibmoto.com / \ email: Narayanan.Krishnamurthy@motorola.com Ph : (512) 996-4863 |O O| Fax : (512) 996-7432 ************************| I |********************************************* \ o / ---