Re: [Haskell-cafe] Canonical Graphviz code

2010-07-06 Thread Kevin Quick
On Mon, 05 Jul 2010 19:26:34 -0700, Ivan Miljenovic ivan.miljeno...@gmail.com wrote: Graphviz (http://graphviz.org/) has the option to convert provided Dot code for visualising a graph into a canonical form. For example, take the sample Dot code: [snip] I've recently thought up a way that I

Re: [Haskell-cafe] Canonical Graphviz code

2010-07-06 Thread Ivan Lazar Miljenovic
Kevin Quick qu...@sparq.org writes: On Mon, 05 Jul 2010 19:26:34 -0700, Ivan Miljenovic ivan.miljeno...@gmail.com wrote: Graphviz (http://graphviz.org/) has the option to convert provided Dot code for visualising a graph into a canonical form. For example, take the sample Dot code:

Re: [Haskell-cafe] Canonical Graphviz code

2010-07-06 Thread Felipe Lessa
On Tue, Jul 6, 2010 at 7:15 PM, Ivan Lazar Miljenovic ivan.miljeno...@gmail.com wrote: As such, I probably won't be implementing the canonical form stuff any time soon in graphviz, and might need to examine Graphviz's source code to compare it and ensure that it's at least similar :s I'm sorry

Re: [Haskell-cafe] Canonical Graphviz code

2010-07-06 Thread Ivan Lazar Miljenovic
Felipe Lessa felipe.le...@gmail.com writes: On Tue, Jul 6, 2010 at 7:15 PM, Ivan Lazar Miljenovic ivan.miljeno...@gmail.com wrote: As such, I probably won't be implementing the canonical form stuff any time soon in graphviz, and might need to examine Graphviz's source code to compare it and

Re: [Haskell-cafe] Canonical Graphviz code

2010-07-06 Thread Felipe Lessa
On Tue, Jul 6, 2010 at 7:53 PM, Ivan Lazar Miljenovic ivan.miljeno...@gmail.com wrote: Felipe Lessa felipe.le...@gmail.com writes: I'm sorry for being silly, but what's the motivation of having this canonic form? =) A few things come to mind: * Easier to reason about, [...] * Less

Re: [Haskell-cafe] Canonical Graphviz code

2010-07-06 Thread Ivan Lazar Miljenovic
Felipe Lessa felipe.le...@gmail.com writes: On Tue, Jul 6, 2010 at 7:53 PM, Ivan Lazar Miljenovic ivan.miljeno...@gmail.com wrote: Felipe Lessa felipe.le...@gmail.com writes: I'm sorry for being silly, but what's the motivation of having this canonic form? =) A few things come to mind: *

[Haskell-cafe] Canonical Graphviz code

2010-07-05 Thread Ivan Miljenovic
Graphviz (http://graphviz.org/) has the option to convert provided Dot code for visualising a graph into a canonical form. For example, take the sample Dot code: | digraph foo { | a [color=blue]; | subgraph cluster_bar { | a [label=hi!] | b [color=blue, label=bye!];