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 PAA13751; Tue, 28 Sep 2004 15:04:41 +0200 (MET DST) 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 PAA10521 for ; Tue, 28 Sep 2004 15:04:40 +0200 (MET DST) Received: from ext.lri.fr (ext.lri.fr [129.175.15.4]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id i8SD4d02001364 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NO) for ; Tue, 28 Sep 2004 15:04:39 +0200 Received: from localhost (localhost [127.0.0.1]) by ext.lri.fr (Postfix) with ESMTP id 946EB19E6FB; Tue, 28 Sep 2004 15:04:39 +0200 (CEST) Received: from ext.lri.fr ([127.0.0.1]) by localhost (ext.lri.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 08663-06; Tue, 28 Sep 2004 15:04:39 +0200 (CEST) Received: from smtp.lri.fr (serveur3-5 [129.175.3.5]) by ext.lri.fr (Postfix) with ESMTP id 81D0319E6DC; Tue, 28 Sep 2004 15:04:39 +0200 (CEST) Received: from pc8-142 (pc8-142 [129.175.8.142]) by smtp.lri.fr (Postfix) with ESMTP id 14E98CEE04; Tue, 28 Sep 2004 15:04:39 +0200 (CEST) Received: from filliatr by pc8-142 with local (Exim 3.36 #1 (Debian)) id 1CCHep-0005Yo-00; Tue, 28 Sep 2004 15:04:39 +0200 MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Message-ID: <16729.24935.189023.83431@gargle.gargle.HOWL> Date: Tue, 28 Sep 2004 15:04:39 +0200 To: Richard Jones Cc: caml-list@inria.fr Subject: Re: [Caml-list] OCaml code/algorithms for displaying directed graphs In-Reply-To: <20040928124015.GA587@annexia.org> References: <20040928124015.GA587@annexia.org> X-Mailer: VM 7.18 under Emacs 21.3.1 From: Jean-Christophe Filliatre X-Virus-Scanned: by amavisd-new at lri.fr X-Miltered: at nez-perce with ID 41596167.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 filliatre:01 filliatre:01 lri:01 notoriously:01 specialists:99 graphviz:01 graphviz:01 outputs:01 lri:01 filliatr:01 ocaml:01 ocaml:01 writes:01 syntax:02 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Richard Jones writes: > > I have a directed graph (actually, links between web-pages). I'd like > to display it "as planar as possible". Are there any OCaml tools or > libraries which I can use? The nearest I've found is ocamlgraph which > looks nice but doesn't seem to deal with the display side of things. Indeed, ocamlgraph does not deal with the display of graphs, which is notoriously a difficult problem (and we are not graphs specialists, so we won't enter such a trap). However, ocamlgraph has an output for the ASCII .dot format, to be used for instance with the Graphviz set of tools: http://www.research.att.com/sw/tools/graphviz/ (there is a Debian package called graphviz for instance) Among these tools there is one displaying graphs (called dot, with outputs in various formats including PostScript), which makes efforts to display planar graphs (but sometimes it fails to draw a planar graph as planar). The dot input syntax is very simple. On the Graphviz web site, you'll also find a lot of material regarding the problem of graph layout. Best regards, -- Jean-Christophe Filliātre (http://www.lri.fr/~filliatr) ------------------- 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