saundersp/notebook
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

graphs : Added some metadata and some details

Browse Source
This commit is contained in:
saundersp 2024-11-07 05:16:28 +01:00
parent 50db05c6d2
commit b85c5829c9
2 changed files with 30 additions and 25 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
graphs/countable_integers.gv
View File

@ -1,4 +1,4 @@
digraph { digraph denumberabilityIntegers {
node [shape = plaintext, fontcolor = White, fontsize = 30]; node [shape = plaintext, fontcolor = White, fontsize = 30];
rankdir = LR; rankdir = LR;
bgcolor = None; bgcolor = None;

53
graphs/countable_rationals.gv
View File

@ -1,13 +1,15 @@
digraph { digraph denumberabilityRationals {
node [shape = plaintext, fontcolor = White, fontsize = 30]; node [shape = plaintext, fontcolor = White, fontsize = 15];
rankdir = LR; rankdir = LR;
bgcolor = None; bgcolor = None;
Edge [fontcolor = White, color = White, fontsize = 25]; Edge [fontcolor = White, color = White, fontsize = 15];
subgraph dots { subgraph dots {
node [label = "..."]; node [label = "..."];
d; d2; d3; d4; d5; d; d2; d3; d4; d5;
vd; vd2; vd3; vd4; vd5; vd6; vd; vd2; vd3; vd4; vd5; vd6;
vd5 -> d5;
vd -> vd2 -> vd3 -> vd4 -> vd5 -> vd6 [color = None];
} }
subgraph pos { subgraph pos {
@ -17,26 +19,30 @@ digraph {
"2/1" -> "3/1" [taillabel = 2]; "2/1" -> "3/1" [taillabel = 2];
"3/1" -> "2/2" [taillabel = 3]; "3/1" -> "2/2" [taillabel = 3];
"2/2" -> "1/3" [taillabel = 4]; "2/2" -> "1/3" [taillabel = 4];
"1/3" -> "2/3" [taillabel = 5]; "1/3" -> "1/4" [taillabel = 5];
"2/3" -> "3/2" [taillabel = 6]; "1/4" -> "2/3" [taillabel = 6];
"3/2" -> "4/1" [taillabel = 7]; "2/3" -> "3/2" [taillabel = 7];
"4/1" -> "5/1" [taillabel = 8]; "3/2" -> "4/1" [taillabel = 8];
"5/1" -> "4/2" [taillabel = 9]; "4/1" -> "5/1" [taillabel = 9];
"4/2" -> "3/3" [taillabel = 10]; "5/1" -> "4/2" [taillabel = 10];
"3/3" -> "2/4" [taillabel = 11]; "4/2" -> "3/3" [taillabel = 11];
"2/4" -> "1/4" [taillabel = 12]; "3/3" -> "2/4" [taillabel = 12];
"1/4" -> "1/5" [taillabel = 13]; "2/4" -> "1/5" [taillabel = 13];
"1/5" -> "2/5" [taillabel = 14]; "1/5" -> vd [taillabel = 14];
//"2/5" -> "3/4" [taillabel = 15]; vd -> "2/5" [taillabel = 15];
//"3/4" -> "4/3" [taillabel = 16]; "2/5" -> "3/4" [taillabel = 16];
"4/3" -> "5/2" [taillabel = 17]; "3/4" -> "4/3" [taillabel = 17];
"4/3" -> "5/2" [taillabel = 18];
"1/5" -> vd [color = None]; "5/2" -> d [taillabel = 19];
"2/5" -> vd2 [color = None]; d2 -> "5/3" [taillabel = 22];
"3/5" -> vd3 [color = None]; "5/3" -> "4/4" [taillabel = 23];
"4/5" -> vd4 [color = None]; "4/4" -> "3/5" [taillabel = 24];
"5/5" -> vd5 [color = None]; "3/5" -> vd2 [taillabel = 25];
d5 -> vd6 [color = None]; vd3 -> "4/5" [taillabel = 31];
"4/5" -> "5/4" [taillabel = 32];
"5/4" -> d3 [taillabel = 33];
d4 -> "5/5" [taillabel = 41];
"5/5" -> vd4 [taillabel = 42];
} }
"1/1" -> "2/1" -> "3/1" -> "4/1" -> "5/1" -> d [color = None]; "1/1" -> "2/1" -> "3/1" -> "4/1" -> "5/1" -> d [color = None];
@ -44,5 +50,4 @@ digraph {
"1/3" -> "2/3" -> "3/3" -> "4/3" -> "5/3" -> d3 [color = None]; "1/3" -> "2/3" -> "3/3" -> "4/3" -> "5/3" -> d3 [color = None];
"1/4" -> "2/4" -> "3/4" -> "4/4" -> "5/4" -> d4 [color = None]; "1/4" -> "2/4" -> "3/4" -> "4/4" -> "5/4" -> d4 [color = None];
"1/5" -> "2/5" -> "3/5" -> "4/5" -> "5/5" -> d5 [color = None]; "1/5" -> "2/5" -> "3/5" -> "4/5" -> "5/5" -> d5 [color = None];
vd -> vd2 -> vd3 -> vd4 -> vd5 -> vd6 [color = None];
} }