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

graphs/*.gv : Renamed countability to countable

Browse Source
This commit is contained in:
saundersp
2024-12-20 22:56:53 +01:00
parent 39959b96ea
commit 94a6376b29
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

53
graphs/countable_rationals.gv Normal file
View File

@ -0,0 +1,53 @@
digraph countableRationals {
node [shape = plaintext, fontcolor = White, fontsize = 15];
rankdir = LR;
bgcolor = None;
Edge [fontcolor = White, color = White, fontsize = 15];
subgraph dots {
node [label = "..."];
d; d2; d3; d4; d5;
vd; vd2; vd3; vd4; vd5; vd6;
vd5 -> d5;
vd -> vd2 -> vd3 -> vd4 -> vd5 -> vd6 [color = None];
}
subgraph pos {
Edge [constraint = False];
"1/1" -> "1/2" [taillabel = 0];
"1/2" -> "2/1" [taillabel = 1];
"2/1" -> "3/1" [taillabel = 2];
"3/1" -> "2/2" [taillabel = 3];
"2/2" -> "1/3" [taillabel = 4];
"1/3" -> "1/4" [taillabel = 5];
"1/4" -> "2/3" [taillabel = 6];
"2/3" -> "3/2" [taillabel = 7];
"3/2" -> "4/1" [taillabel = 8];
"4/1" -> "5/1" [taillabel = 9];
"5/1" -> "4/2" [taillabel = 10];
"4/2" -> "3/3" [taillabel = 11];
"3/3" -> "2/4" [taillabel = 12];
"2/4" -> "1/5" [taillabel = 13];
"1/5" -> vd [taillabel = 14];
vd -> "2/5" [taillabel = 15];
"2/5" -> "3/4" [taillabel = 16];
"3/4" -> "4/3" [taillabel = 17];
"4/3" -> "5/2" [taillabel = 18];
"5/2" -> d [taillabel = 19];
d2 -> "5/3" [taillabel = 22];
"5/3" -> "4/4" [taillabel = 23];
"4/4" -> "3/5" [taillabel = 24];
"3/5" -> vd2 [taillabel = 25];
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/2" -> "2/2" -> "3/2" -> "4/2" -> "5/2" -> d2 [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/5" -> "2/5" -> "3/5" -> "4/5" -> "5/5" -> d5 [color = None];
}