/*
   Euclid1.dot
   Andrew Davison, ad@fivedots.coe.psu.ac.th, Oct. 2022

   Usage: 
     dot -Tpng Euclid1.dot -o Euclid1.png
            -- links not stored
     dot -Tsvg Euclid1.dot -o Euclid1.svg
     dot -Tps Euclid1.dot -o Euclid1.ps
            -- then use gs.bat to get PDF version
   Graphviz: https://graphviz.org/
*/


digraph Book1 {
  labelloc="t";
  label="'The Elements' Book 1 Relationships \nConstructions are colored blue";

  {1} -> {2} -> {3}
  {3, 4} -> {5, 6}
  {5} -> {7} -> {8}
  {1, 3, 8} -> {9, 11}
  {1, 4, 9} -> {10}
  {8, 10} -> {12}
  {11} -> {13} -> {14, 15}
  {3, 4, 10, 15} -> {16} -> {27}
  {13, 16} -> {17}
  {3, 5, 16} -> {18}
  {5, 18} -> {19}
  {3, 5, 19} -> {20}
  {16, 20} -> {21}
  {3, 20} -> {22}
  {8, 22} -> {23}
  {3, 4, 5, 19, 23} -> {24}
  {4, 24} -> {25}
  {3, 4, 16} -> {26}
  {13, 15, 27} -> {28, 29}
  {29} -> {30}
  {23, 27} -> {31}
  {13, 29, 31} -> {32}
  {4, 27, 29} -> {33}
  {4, 26, 29} -> {34} -> {43}
  {4, 29, 34} -> {35}
  {33, 34, 35} -> {36}
  {31, 34, 35} -> {37}
  {31, 34, 36} -> {38}
  {31, 37} -> {39}
  {31, 38} -> {40}
  {34, 37} -> {41}
  {10, 23, 31, 38, 41} -> {42}
  {15, 29, 31, 42, 43} -> {44}
  {14, 29, 30, 33, 34, 42, 44} -> {45}
  {3, 11, 29, 31, 34} -> {46}
  {4, 14, 31, 41, 46} -> {47}
  {3, 8, 11, 47} -> {48}

  // construction props
  1   [style=filled fillcolor=lightblue]
  2   [style=filled fillcolor=lightblue]
  3   [style=filled fillcolor=lightblue]
  9   [style=filled fillcolor=lightblue]
  10  [style=filled fillcolor=lightblue]
  11  [style=filled fillcolor=lightblue]
  12  [style=filled fillcolor=lightblue]
  22  [style=filled fillcolor=lightblue]
  23  [style=filled fillcolor=lightblue]
  31  [style=filled fillcolor=lightblue]
  42  [style=filled fillcolor=lightblue]
  44  [style=filled fillcolor=lightblue]
  45  [style=filled fillcolor=lightblue]
  46  [style=filled fillcolor=lightblue]

  // links to Joyce's Book 1 pages; Graphviz output must be SVG or PS

  1 [href="http://aleph0.clarku.edu/~djoyce/elements/bookI/propI1.html" label=<<U>1</U>> target="_blank" tooltip="Link to Prop 1"]
	      // :
  47 [href="http://aleph0.clarku.edu/~djoyce/elements/bookI/propI47.html" label=<<U>47</U>> target="_blank" tooltip="Link to Prop 47"]
	
}