From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id EB9B1BCAC for ; Fri, 3 Jun 2005 13:47:25 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j53BlPmD000504 for ; Fri, 3 Jun 2005 13:47:25 +0200 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 NAA04172 for ; Fri, 3 Jun 2005 13:47:25 +0200 (MET DST) Received: from net.univ-savoie.fr (net.univ-savoie.fr [193.48.120.75]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j53BlOxu000499 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NO) for ; Fri, 3 Jun 2005 13:47:25 +0200 Received: from post.bourget.univ-savoie.fr (post.bourget.univ-savoie.fr [193.48.120.73]) by net.univ-savoie.fr (8.12.3/jtpda-5.4) with ESMTP id j53BlJYl012538 for ; Fri, 3 Jun 2005 13:47:19 +0200 Received: from [193.48.123.45] (d45.lama.univ-savoie.fr [193.48.123.45]) by post.bourget.univ-savoie.fr (8.12.3/jtpda-5.4) with ESMTP id j53BlGDw012601 ; Fri, 3 Jun 2005 13:47:16 +0200 Message-ID: <42A04348.1040504@univ-savoie.fr> Date: Fri, 03 Jun 2005 13:47:20 +0200 From: Christophe Raffalli User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7.2) Gecko/20040804 X-Accept-Language: en-us, en MIME-Version: 1.0 To: caml-list@inria.fr Subject: Pb with abstract type ... X-Enigmail-Version: 0.85.0.0 X-Enigmail-Supports: pgp-inline, pgp-mime Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="------------enigDB5D6A1A30250EC9B505E2E8" Content-Transfer-Encoding: 8bit X-Scanned-By: MIMEDefang 2.33 (www . roaringpenguin . com / mimedefang) X-Miltered: at concorde with ID 42A0434D.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 42A0434C.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; christophe:01 raffalli:01 christophe:01 raffalli:01 univ-savoie:01 chablais:01 73376:01 univ-savoie:01 lama:01 ...:98 ...:98 abstract:01 abstract:01 mutt:01 functions:01 X-Attachments: type="application/pgp-signature" name="signature.asc" name="signature.asc" X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: This is an OpenPGP/MIME signed message (RFC 2440 and 3156) --------------enigDB5D6A1A30250EC9B505E2E8 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit Let's say you want to - transform a set into a map of constant value - remove all the elements of a set from a map - make the union of two maps (with for instance a merge function when there is a binding in both maps) You can write these functions with the Set and Map library ... but not with the best complexity (For the first one you get O(n ln(n)) while you can achieve O(n) very easely). Does someone see a solution that does not involve removing the abstract types ? -- Christophe Raffalli Université de Savoie Batiment Le Chablais, bureau 21 73376 Le Bourget-du-Lac Cedex tél: (33) 4 79 75 81 03 fax: (33) 4 79 75 87 42 mail: Christophe.Raffalli@univ-savoie.fr www: http://www.lama.univ-savoie.fr/~RAFFALLI --------------------------------------------- IMPORTANT: this mail is signed using PGP/MIME At least Enigmail/Mozilla, mutt or evolution can check this signature. The public key is stored on www.keyserver.net --------------------------------------------- --------------enigDB5D6A1A30250EC9B505E2E8 Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.4 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iD8DBQFCoENISQDyWB/+xBwRAkltAJ40VHh+N/esEu1D1GMGBh5qlB5dowCfXRME jhBqsvJl5LLc7+MnQ2OzFlk= =BEip -----END PGP SIGNATURE----- --------------enigDB5D6A1A30250EC9B505E2E8--