Commit 11e2b682 authored by Tiago Peixoto's avatar Tiago Peixoto
Browse files

Documentation update, following new graph_draw() function

parent 7ae9a870
PDFIMAGES = $(shell ls *.pdf)
PNGIMAGES = ${PDFIMAGES:.pdf=.png}
HUGEIMAGES = $(shell find . -maxdepth 1 -name "*.pdf" -size +1000k)
HUGEIMAGES = $(shell find . -maxdepth 1 -name "*.pdf" -size +10000k)
ORIGIMAGES = ${HUGEIMAGES:.pdf=.pdf-orig}
PNGCONV = gm convert -density 600 -resample 50 -trim -antialias -quality 9 -filter Cubic
#PNGCONV = gm convert -density 1200 -resample 50 -trim -antialias -quality 9 -filter Cubic
PNGCONV = pdftoppm -png -singlefile -r 96 -freetype yes -aa yes -aaVector yes
PDFCONV = gm convert
all: $(ORIGIMAGES) $(PNGIMAGES)
sphinx-build -E -b html . build
%.pdf-orig: %.pdf
cp $< $@
gm mogrify -resize 600 -trim -antialias -filter Cubic $<
$(PNGCONV) $< > $@-tmp.png
$(PDFCONV) $@-tmp.png $@
rm $@-tmp.png
%.png: %.pdf
test -d $<-orig && $(PNGCONV) $<-orig $@ || true
test -d $<-orig || $(PNGCONV) $< $@ || true
test -d $<-orig && $(PNGCONV) $<-orig > $@ || true
test -d $<-orig || $(PNGCONV) $< > $@ || true
latex:
sphinx-build -E -b latex . build
......
......@@ -4,8 +4,7 @@
xsi:schemaLocation="http://graphml.graphdrawing.org/xmlns http://graphml.graphdrawing.org/xmlns/1.0/graphml.xsd">
<!-- property keys -->
<key id="key0" for="node" attr.name="pos_x" attr.type="float" />
<key id="key1" for="node" attr.name="pos_y" attr.type="float" />
<key id="key0" for="node" attr.name="pos" attr.type="vector_float" />
<graph id="G" edgedefault="undirected" parse.nodeids="canonical" parse.edgeids="canonical" parse.order="nodesfirst">
......@@ -13,1028 +12,772 @@
<!-- vertices -->
<node id="n0">
<data key="key0">0x0p+0</data>
<data key="key1">0x0p+0</data>
<data key="key0">0x1.ep+5, 0x1.ep+5</data>
</node>
<node id="n1">
<data key="key0">0x0p+0</data>
<data key="key1">0x1p+0</data>
<data key="key0">0x1.ep+5, 0x1.4p+6</data>
</node>
<node id="n2">
<data key="key0">0x0p+0</data>
<data key="key1">0x1p+1</data>
<data key="key0">0x1.ep+5, 0x1.9p+6</data>
</node>
<node id="n3">
<data key="key0">0x0p+0</data>
<data key="key1">0x1.8p+1</data>
<data key="key0">0x1.ep+5, 0x1.ep+6</data>
</node>
<node id="n4">
<data key="key0">0x0p+0</data>
<data key="key1">0x1p+2</data>
<data key="key0">0x1.ep+5, 0x1.18p+7</data>
</node>
<node id="n5">
<data key="key0">0x0p+0</data>
<data key="key1">0x1.4p+2</data>
<data key="key0">0x1.ep+5, 0x1.4p+7</data>
</node>
<node id="n6">
<data key="key0">0x0p+0</data>
<data key="key1">0x1.8p+2</data>
<data key="key0">0x1.ep+5, 0x1.68p+7</data>
</node>
<node id="n7">
<data key="key0">0x0p+0</data>
<data key="key1">0x1.cp+2</data>
<data key="key0">0x1.ep+5, 0x1.9p+7</data>
</node>
<node id="n8">
<data key="key0">0x1p+0</data>
<data key="key1">0x0p+0</data>
<data key="key0">0x1.4p+6, 0x1.ep+5</data>
</node>
<node id="n9">
<data key="key0">0x1p+0</data>
<data key="key1">0x1p+0</data>
<data key="key0">0x1.4p+6, 0x1.4p+6</data>
</node>
<node id="n10">
<data key="key0">0x1p+0</data>
<data key="key1">0x1p+1</data>
<data key="key0">0x1.4p+6, 0x1.9p+6</data>
</node>
<node id="n11">
<data key="key0">0x1p+0</data>
<data key="key1">0x1.8p+1</data>
<data key="key0">0x1.4p+6, 0x1.ep+6</data>
</node>
<node id="n12">
<data key="key0">0x1p+0</data>
<data key="key1">0x1p+2</data>
<data key="key0">0x1.4p+6, 0x1.18p+7</data>
</node>
<node id="n13">
<data key="key0">0x1p+0</data>
<data key="key1">0x1.4p+2</data>
<data key="key0">0x1.4p+6, 0x1.4p+7</data>
</node>
<node id="n14">
<data key="key0">0x1p+0</data>
<data key="key1">0x1.8p+2</data>
<data key="key0">0x1.4p+6, 0x1.68p+7</data>
</node>
<node id="n15">
<data key="key0">0x1p+0</data>
<data key="key1">0x1.cp+2</data>
<data key="key0">0x1.4p+6, 0x1.9p+7</data>
</node>
<node id="n16">
<data key="key0">0x1p+1</data>
<data key="key1">0x0p+0</data>
<data key="key0">0x1.9p+6, 0x1.ep+5</data>
</node>
<node id="n17">
<data key="key0">0x1p+1</data>
<data key="key1">0x1p+0</data>
<data key="key0">0x1.9p+6, 0x1.4p+6</data>
</node>
<node id="n18">
<data key="key0">0x1p+1</data>
<data key="key1">0x1p+1</data>
<data key="key0">0x1.9p+6, 0x1.9p+6</data>
</node>
<node id="n19">
<data key="key0">0x1p+1</data>
<data key="key1">0x1.8p+1</data>
<data key="key0">0x1.9p+6, 0x1.ep+6</data>
</node>
<node id="n20">
<data key="key0">0x1p+1</data>
<data key="key1">0x1p+2</data>
<data key="key0">0x1.9p+6, 0x1.18p+7</data>
</node>
<node id="n21">
<data key="key0">0x1p+1</data>
<data key="key1">0x1.4p+2</data>
<data key="key0">0x1.9p+6, 0x1.4p+7</data>
</node>
<node id="n22">
<data key="key0">0x1p+1</data>
<data key="key1">0x1.8p+2</data>
<data key="key0">0x1.9p+6, 0x1.68p+7</data>
</node>
<node id="n23">
<data key="key0">0x1p+1</data>
<data key="key1">0x1.cp+2</data>
<data key="key0">0x1.9p+6, 0x1.9p+7</data>
</node>
<node id="n24">
<data key="key0">0x1.8p+1</data>
<data key="key1">0x0p+0</data>
<data key="key0">0x1.ep+6, 0x1.ep+5</data>
</node>
<node id="n25">
<data key="key0">0x1.8p+1</data>
<data key="key1">0x1p+0</data>
<data key="key0">0x1.ep+6, 0x1.4p+6</data>
</node>
<node id="n26">
<data key="key0">0x1.8p+1</data>
<data key="key1">0x1p+1</data>
<data key="key0">0x1.ep+6, 0x1.9p+6</data>
</node>
<node id="n27">
<data key="key0">0x1.8p+1</data>
<data key="key1">0x1.8p+1</data>
<data key="key0">0x1.ep+6, 0x1.ep+6</data>
</node>
<node id="n28">
<data key="key0">0x1.8p+1</data>
<data key="key1">0x1p+2</data>
<data key="key0">0x1.ep+6, 0x1.18p+7</data>
</node>
<node id="n29">
<data key="key0">0x1.8p+1</data>
<data key="key1">0x1.4p+2</data>
<data key="key0">0x1.ep+6, 0x1.4p+7</data>
</node>
<node id="n30">
<data key="key0">0x1.8p+1</data>
<data key="key1">0x1.8p+2</data>
<data key="key0">0x1.ep+6, 0x1.68p+7</data>
</node>
<node id="n31">
<data key="key0">0x1.8p+1</data>
<data key="key1">0x1.cp+2</data>
<data key="key0">0x1.ep+6, 0x1.9p+7</data>
</node>
<node id="n32">
<data key="key0">0x1p+2</data>
<data key="key1">0x0p+0</data>
<data key="key0">0x1.18p+7, 0x1.ep+5</data>
</node>
<node id="n33">
<data key="key0">0x1p+2</data>
<data key="key1">0x1p+0</data>
<data key="key0">0x1.18p+7, 0x1.4p+6</data>
</node>
<node id="n34">
<data key="key0">0x1p+2</data>
<data key="key1">0x1p+1</data>
<data key="key0">0x1.18p+7, 0x1.9p+6</data>
</node>
<node id="n35">
<data key="key0">0x1p+2</data>
<data key="key1">0x1.8p+1</data>
<data key="key0">0x1.18p+7, 0x1.ep+6</data>
</node>
<node id="n36">
<data key="key0">0x1p+2</data>
<data key="key1">0x1p+2</data>
<data key="key0">0x1.18p+7, 0x1.18p+7</data>
</node>
<node id="n37">
<data key="key0">0x1p+2</data>
<data key="key1">0x1.4p+2</data>
<data key="key0">0x1.18p+7, 0x1.4p+7</data>
</node>
<node id="n38">
<data key="key0">0x1p+2</data>
<data key="key1">0x1.8p+2</data>
<data key="key0">0x1.18p+7, 0x1.68p+7</data>
</node>
<node id="n39">
<data key="key0">0x1p+2</data>
<data key="key1">0x1.cp+2</data>
<data key="key0">0x1.18p+7, 0x1.9p+7</data>
</node>
<node id="n40">
<data key="key0">0x1.4p+2</data>
<data key="key1">0x0p+0</data>
<data key="key0">0x1.4p+7, 0x1.ep+5</data>
</node>
<node id="n41">
<data key="key0">0x1.4p+2</data>
<data key="key1">0x1p+0</data>
<data key="key0">0x1.4p+7, 0x1.4p+6</data>
</node>
<node id="n42">
<data key="key0">0x1.4p+2</data>
<data key="key1">0x1p+1</data>
<data key="key0">0x1.4p+7, 0x1.9p+6</data>
</node>
<node id="n43">
<data key="key0">0x1.4p+2</data>
<data key="key1">0x1.8p+1</data>
<data key="key0">0x1.4p+7, 0x1.ep+6</data>
</node>
<node id="n44">
<data key="key0">0x1.4p+2</data>
<data key="key1">0x1p+2</data>
<data key="key0">0x1.4p+7, 0x1.18p+7</data>
</node>
<node id="n45">
<data key="key0">0x1.4p+2</data>
<data key="key1">0x1.4p+2</data>
<data key="key0">0x1.4p+7, 0x1.4p+7</data>
</node>
<node id="n46">
<data key="key0">0x1.4p+2</data>
<data key="key1">0x1.8p+2</data>
<data key="key0">0x1.4p+7, 0x1.68p+7</data>
</node>
<node id="n47">
<data key="key0">0x1.4p+2</data>
<data key="key1">0x1.cp+2</data>
<data key="key0">0x1.4p+7, 0x1.9p+7</data>
</node>
<node id="n48">
<data key="key0">0x1.8p+2</data>
<data key="key1">0x0p+0</data>
<data key="key0">0x1.68p+7, 0x1.ep+5</data>
</node>
<node id="n49">
<data key="key0">0x1.8p+2</data>
<data key="key1">0x1p+0</data>
<data key="key0">0x1.68p+7, 0x1.4p+6</data>
</node>
<node id="n50">
<data key="key0">0x1.8p+2</data>
<data key="key1">0x1p+1</data>
<data key="key0">0x1.68p+7, 0x1.9p+6</data>
</node>
<node id="n51">
<data key="key0">0x1.8p+2</data>
<data key="key1">0x1.8p+1</data>
<data key="key0">0x1.68p+7, 0x1.ep+6</data>
</node>
<node id="n52">
<data key="key0">0x1.8p+2</data>
<data key="key1">0x1p+2</data>
<data key="key0">0x1.68p+7, 0x1.18p+7</data>
</node>
<node id="n53">
<data key="key0">0x1.8p+2</data>
<data key="key1">0x1.4p+2</data>
<data key="key0">0x1.68p+7, 0x1.4p+7</data>
</node>
<node id="n54">
<data key="key0">0x1.8p+2</data>
<data key="key1">0x1.8p+2</data>
<data key="key0">0x1.68p+7, 0x1.68p+7</data>
</node>
<node id="n55">
<data key="key0">0x1.8p+2</data>
<data key="key1">0x1.cp+2</data>
<data key="key0">0x1.68p+7, 0x1.9p+7</data>
</node>
<node id="n56">
<data key="key0">0x1.cp+2</data>
<data key="key1">0x0p+0</data>
<data key="key0">0x1.9p+7, 0x1.ep+5</data>
</node>
<node id="n57">
<data key="key0">0x1.cp+2</data>
<data key="key1">0x1p+0</data>
<data key="key0">0x1.9p+7, 0x1.4p+6</data>
</node>
<node id="n58">
<data key="key0">0x1.cp+2</data>
<data key="key1">0x1p+1</data>
<data key="key0">0x1.9p+7, 0x1.9p+6</data>
</node>
<node id="n59">
<data key="key0">0x1.cp+2</data>
<data key="key1">0x1.8p+1</data>
<data key="key0">0x1.9p+7, 0x1.ep+6</data>
</node>
<node id="n60">
<data key="key0">0x1.cp+2</data>
<data key="key1">0x1p+2</data>
<data key="key0">0x1.9p+7, 0x1.18p+7</data>
</node>
<node id="n61">
<data key="key0">0x1.cp+2</data>
<data key="key1">0x1.4p+2</data>
<data key="key0">0x1.9p+7, 0x1.4p+7</data>
</node>
<node id="n62">
<data key="key0">0x1.cp+2</data>
<data key="key1">0x1.8p+2</data>
<data key="key0">0x1.9p+7, 0x1.68p+7</data>
</node>
<node id="n63">
<data key="key0">0x1.cp+2</data>
<data key="key1">0x1.cp+2</data>
<data key="key0">0x1.9p+7, 0x1.9p+7</data>
</node>
<node id="n64">
<data key="key0">0x1.ap+3</data>
<data key="key1">0x1.cp+3</data>
<data key="key0">0x1.4p+8, 0x1.54p+8</data>
</node>
<node id="n65">
<data key="key0">0x1p+1</data>
<data key="key1">0x1.8p+3</data>
<data key="key0">0x1.9p+6, 0x1.2cp+8</data>
</node>
<node id="n66">
<data key="key0">0x1.cp+2</data>
<data key="key1">0x1.4p+3</data>
<data key="key0">0x1.9p+7, 0x1.04p+8</data>
</node>
<node id="n67">
<data key="key0">0x1.ep+3</data>
<data key="key1">0x1.8p+2</data>
<data key="key0">0x1.68p+8, 0x1.68p+7</data>
</node>
<node id="n68">
<data key="key0">0x1.cp+3</data>
<data key="key1">0x1.ep+3</data>
<data key="key0">0x1.54p+8, 0x1.68p+8</data>
</node>
<node id="n69">
<data key="key0">0x1p+3</data>
<data key="key1">0x1.8p+1</data>
<data key="key0">0x1.b8p+7, 0x1.ep+6</data>
</node>
<node id="n70">
<data key="key0">0x1.8p+1</data>
<data key="key1">0x1.8p+3</data>
<data key="key0">0x1.ep+6, 0x1.2cp+8</data>
</node>
<node id="n71">
<data key="key0">0x1p+3</data>
<data key="key1">0x1.cp+2</data>
<data key="key0">0x1.b8p+7, 0x1.9p+7</data>
</node>
<node id="n72">
<data key="key0">0x1.4p+3</data>
<data key="key1">0x1.8p+1</data>
<data key="key0">0x1.04p+8, 0x1.ep+6</data>
</node>
<node id="n73">
<data key="key0">0x1.8p+2</data>
<data key="key1">0x1.6p+3</data>
<data key="key0">0x1.68p+7, 0x1.18p+8</data>
</node>
<node id="n74">
<data key="key0">0x1.2p+3</data>
<data key="key1">0x1.cp+3</data>
<data key="key0">0x1.ep+7, 0x1.54p+8</data>
</node>
<node id="n75">
<data key="key0">0x1.4p+3</data>
<data key="key1">0x1.4p+2</data>
<data key="key0">0x1.04p+8, 0x1.4p+7</data>
</node>
<node id="n76">
<data key="key0">0x1.ap+3</data>
<data key="key1">0x1p+2</data>
<data key="key0">0x1.4p+8, 0x1.18p+7</data>
</node>
<node id="n77">
<data key="key0">0x1.4p+3</data>
<data key="key1">0x1.4p+3</data>
<data key="key0">0x1.04p+8, 0x1.04p+8</data>
</node>
<node id="n78">
<data key="key0">0x1.4p+3</data>
<data key="key1">0x1.cp+3</data>
<data key="key0">0x1.04p+8, 0x1.54p+8</data>
</node>
<node id="n79">
<data key="key0">0x1p+2</data>
<data key="key1">0x1.2p+3</data>
<data key="key0">0x1.18p+7, 0x1.ep+7</data>
</node>
<node id="n80">
<data key="key0">0x0p+0</data>
<data key="key1">0x1.6p+3</data>
<data key="key0">0x1.ep+5, 0x1.18p+8</data>
</node>
<node id="n81">
<data key="key0">0x1.8p+1</data>
<data key="key1">0x1.ep+3</data>
<data key="key0">0x1.ep+6, 0x1.68p+8</data>
</node>
<node id="n82">
<data key="key0">0x1.4p+3</data>
<data key="key1">0x1p+0</data>
<data key="key0">0x1.04p+8, 0x1.4p+6</data>
</node>
<node id="n83">
<data key="key0">0x1.6p+3</data>
<data key="key1">0x1.2p+3</data>
<data key="key0">0x1.18p+8, 0x1.ep+7</data>
</node>
<node id="n84">
<data key="key0">0x1.ep+3</data>
<data key="key1">0x1.cp+2</data>
<data key="key0">0x1.68p+8, 0x1.9p+7</data>
</node>
<node id="n85">
<data key="key0">0x1.ap+3</data>
<data key="key1">0x1p+0</data>
<data key="key0">0x1.4p+8, 0x1.4p+6</data>
</node>
<node id="n86">
<data key="key0">0x1.8p+2</data>
<data key="key1">0x1.cp+3</data>
<data key="key0">0x1.68p+7, 0x1.54p+8</data>
</node>
<node id="n87">
<data key="key0">0x1.cp+3</data>
<data key="key1">0x1.6p+3</data>
<data key="key0">0x1.54p+8, 0x1.18p+8</data>
</node>
<node id="n88">
<data key="key0">0x1.8p+3</data>
<data key="key1">0x1.ep+3</data>
<data key="key0">0x1.2cp+8, 0x1.68p+8</data>
</node>
<node id="n89">
<data key="key0">0x1.8p+3</data>
<data key="key1">0x1.4p+2</data>
<data key="key0">0x1.2cp+8, 0x1.4p+7</data>
</node>
<node id="n90">
<data key="key0">0x1.cp+3</data>
<data key="key1">0x1.cp+2</data>
<data key="key0">0x1.54p+8, 0x1.9p+7</data>
</node>
<node id="n91">
<data key="key0">0x1p+0</data>
<data key="key1">0x1.4p+3</data>
<data key="key0">0x1.4p+6, 0x1.04p+8</data>
</node>
<node id="n92">
<data key="key0">0x1p+1</data>
<data key="key1">0x1.ap+3</data>
<data key="key0">0x1.9p+6, 0x1.4p+8</data>
</node>
<node id="n93">
<data key="key0">0x1.4p+3</data>
<data key="key1">0x1.6p+3</data>
<data key="key0">0x1.04p+8, 0x1.18p+8</data>
</node>
<node id="n94">
<data key="key0">0x1p+3</data>
<data key="key1">0x1.4p+2</data>
<data key="key0">0x1.b8p+7, 0x1.4p+7</data>
</node>
<node id="n95">
<data key="key0">0x1.8p+1</data>
<data key="key1">0x1.2p+3</data>
<data key="key0">0x1.ep+6, 0x1.ep+7</data>
</node>
<node id="n96">
<data key="key0">0x1.6p+3</data>
<data key="key1">0x1p+1</data>
<data key="key0">0x1.18p+8, 0x1.9p+6</data>
</node>
<node id="n97">
<data key="key0">0x1.8p+3</data>
<data key="key1">0x1.2p+3</data>
<data key="key0">0x1.2cp+8, 0x1.ep+7</data>
</node>
<node id="n98">
<data key="key0">0x1.4p+3</data>
<data key="key1">0x1p+3</data>
<data key="key0">0x1.04p+8, 0x1.b8p+7</data>
</node>
<node id="n99">
<data key="key0">0x0p+0</data>
<data key="key1">0x1.8p+3</data>
<data key="key0">0x1.ep+5, 0x1.2cp+8</data>
</node>
<node id="n100">
<data key="key0">0x1.6p+3</data>
<data key="key1">0x1.6p+3</data>
<data key="key0">0x1.18p+8, 0x1.18p+8</data>
</node>
<node id="n101">
<data key="key0">0x1.4p+2</data>
<data key="key1">0x1.cp+3</data>
<data key="key0">0x1.4p+7, 0x1.54p+8</data>
</node>
<node id="n102">
<data key="key0">0x0p+0</data>
<data key="key1">0x1.4p+3</data>
<data key="key0">0x1.ep+5, 0x1.04p+8</data>
</node>
<node id="n103">
<data key="key0">0x1.ap+3</data>
<data key="key1">0x1.8p+3</data>
<data key="key0">0x1.4p+8, 0x1.2cp+8</data>
</node>
<node id="n104">
<data key="key0">0x1.8p+1</data>
<data key="key1">0x1.4p+3</data>
<data key="key0">0x1.ep+6, 0x1.04p+8</data>
</node>
<node id="n105">
<data key="key0">0x1.ep+3</data>
<data key="key1">0x1.ap+3</data>
<data key="key0">0x1.68p+8, 0x1.4p+8</data>
</node>
<node id="n106">
<data key="key0">0x1.6p+3</data>
<data key="key1">0x1.ap+3</data>
<data key="key0">0x1.18p+8, 0x1.4p+8</data>
</node>
<node id="n107">
<data key="key0">0x1.4p+3</data>
<data key="key1">0x1.8p+3</data>
<data key="key0">0x1.04p+8, 0x1.2cp+8</data>
</node>
<node id="n108">
<data key="key0">0x1.6p+3</data>
<data key="key1">0x1.8p+3</data>
<data key="key0">0x1.18p+8, 0x1.2cp+8</data>
</node>
<node id="n109">
<data key="key0">0x1.2p+3</data>
<data key="key1">0x0p+0</data>
<data key="key0">0x1.ep+7, 0x1.ep+5</data>
</node>
<node id="n110">
<data key="key0">0x1.8p+2</data>
<data key="key1">0x1.4p+3</data>
<data key="key0">0x1.68p+7, 0x1.04p+8</data>
</node>
<node id="n111">
<data key="key0">0x1.2p+3</data>
<data key="key1">0x1.cp+2</data>
<data key="key0">0x1.ep+7, 0x1.9p+7</data>
</node>
<node id="n112">
<data key="key0">0x1.ap+3</data>
<data key="key1">0x1.2p+3</data>
<data key="key0">0x1.4p+8, 0x1.ep+7</data>
</node>
<node id="n113">
<data key="key0">0x1.8p+2</data>
<data key="key1">0x1.8p+3</data>
<data key="key0">0x1.68p+7, 0x1.2cp+8</data>
</node>
<node id="n114">
<data key="key0">0x1.cp+3</data>
<data key="key1">0x1p+1</data>
<data key="key0">0x1.54p+8, 0x1.9p+6</data>
</node>
<node id="n115">
<data key="key0">0x1.2p+3</data>
<data key="key1">0x1.ap+3</data>