From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA07117; Tue, 3 Dec 2002 18:09:10 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id SAA07307 for ; Tue, 3 Dec 2002 18:09:09 +0100 (MET) Received: from shiva.jussieu.fr (shiva.jussieu.fr [134.157.0.129]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id gB3H98101977 for ; Tue, 3 Dec 2002 18:09:08 +0100 (MET) Received: from ibm3.cicrp.jussieu.fr (ibm3.cicrp.jussieu.fr [134.157.15.3]) by shiva.jussieu.fr (8.12.5/jtpda-5.4) with ESMTP id gB3H98jR076450 for ; Tue, 3 Dec 2002 18:09:08 +0100 (CET) Received: from ibm1.cicrp.jussieu.fr (ibm1.cicrp.jussieu.fr [134.157.15.1]) by ibm3.cicrp.jussieu.fr (8.8.8/jtpda/mob-V8) with ESMTP id SAA64262 for ; Tue, 3 Dec 2002 18:07:43 +0100 Received: from localhost (fernande@localhost) by ibm1.cicrp.jussieu.fr (8.8.8/jtpda/mob-v8) with ESMTP id SAA975036 for ; Tue, 3 Dec 2002 18:07:43 +0100 Date: Tue, 3 Dec 2002 18:07:43 +0100 (NFT) From: Diego Olivier Fernandez Pons To: caml-list@inria.fr Subject: [Caml-list] Trees revised in Baire Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=iso-8859-1 Content-Transfer-Encoding: QUOTED-PRINTABLE X-Antivirus: scanned by sophie at shiva.jussieu.fr Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Bonjour, -- an english abstract follows -- Les impl=E9mentations des ensembles et dictionnaires en Baire ont =E9t=E9 r=E9vis=E9es. Vous y trouverez d=E9sormais des versions polymorphes, objet et fonctorielle de chaque structure de donn=E9es (arbres et dictionnaires) dans les principas sch=E9mas d'=E9quilibrage (AVL, pond=E9r=E9, bicolore). Le code est comment=E9 en fran=E7ais, anglais, espagnol et n'interf=E8re plus avec la librairie standard. Des fonctions de compatibilit=E9 ont =E9t=E9 mises en place afin de pouvoir utiliser le code Caml d=E9j=E0 =E9cr= it sans changement. Vous pourrez trouver tout cela dans le(s) fichier(s) RevisedTrees.tar.* sur la page de t=E9l=E9chargement de Baire. Par ailleurs, on m'a signal=E9 qu'un certain nombre d'id=E9es d=E9velopp=E9= es dans les impl=E9mentations pr=E9c=E9dentes n'=E9taient pas tr=E8s claires (= la sp=E9cialisation des arbres cart=E9siens pour obtenir les diff=E9rents sch=E9mas d'=E9quilibrage, le passage global -> local, les questions de coloriage, etc.) et que l'on ne comprenait pas tr=E8s bien les apports de Baire dans le domaine. J'ai donc =E9crit un historique : il examine les id=E9es ant=E9rieures sur lesquelles s'appuie Baire, montre ensuite comment les combiner pour obtenir une vision d'ensemble simple et homog=E8ne, montre enfin comment =E0 partir de l=E0 on peut apporter des r=E9ponses ou =E9lements d'explicat= ion =E0 plusieurs probl=E8mes soulev=E9s par la diversit=E9 des m=E9thodes d'=E9quilibrages invent=E9es jusqu'=E0 pr=E9sent. Aucune connaissance avanc= =E9e n'est n=E9cessaire et les notions de bases sont rapidement rappel=E9es et illustr=E9es de sch=E9mas. Vous trouverez cet historique dans la section "Documentation" du site de Baire. Je signale au passage que la librairie a d=E9m=E9nag=E9 (la Bosse a d=E9j= =E0 =E9t=E9 mise =E0 jour) et que le nouvel h=E9bergeur nous dispense de toute publicit=E9 et dispose d'un bien meilleur temps de transfert. Diego Olivier English abstact Trees implementation in Baire has been revised. You will find now complete implementation of sets and maps in several balancing schemes (AVL, red and black, weight balanced). The code is in english, commented in french, english and spanich. You will find all this in the download page of Baire (and there is now a partial translation of Baire main page in english) For those who also read french, there is a document explaining more in detail the Baire theoretical foundations. You will find it in the "documentation" part of the Baire site. Anyway, you will find some explanations in english in the source code. The Baire site has moved. The Caml Hump has already corrected his link so you may saftly follow it. Diego Olivier ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners