Update docs.

cceh · Sep 18, 2023 · b655687 · b655687
1 parent b5bdca1
commit b655687
Show file tree

Hide file tree

Showing 56 changed files with 659 additions and 228 deletions.
diff --git a/doc_src/_static/my_theme.css b/doc_src/_static/my_theme.css
@@ -24,3 +24,26 @@
     padding: 0.2em;
     text-align: left;
 }
+
+table.super-collator              { border-collapse: collapse }
+table.super-collator th,
+table.super-collator td.outer     { border: 1px solid black }
+table.super-collator td.inner     { width: 50%; padding: 0 0.5ex; text-align: right }
+table.super-collator td.prefilled { background-color: #eee }
+table.super-collator td.em        { font-weight: bold }
+table.super-collator th           { padding: 0 0.5ex; text-align: right }
+table.super-collator table        { width: 100% }
+table.super-collator-result td    { border: 1px solid black; padding: 0 1ex }
+
+table.super-collator {
+    margin-bottom: 1em;
+}
+
+#super-collator-phase2 td.outer.bt {
+    background-color: #fefece;
+    border: 1.5pt solid #a80136;
+}
+
+#super-collator-phase2 td.outer.bt .arrow {
+    color: #a80136;
+}
diff --git a/doc_src/_static/super-collator-phase1.html b/doc_src/_static/super-collator-phase1.html
@@ -0,0 +1,13 @@
+<table class='super-collator super-collator-debug-matrix' id=super-collator-phase1><tr><th/><th class='top'></th><th class='top'>sick</th><th class='top'>fox</th><th class='top'>is</th><th class='top'>crazy</th></tr>
+<tr><th class='left'></th><td class='outer prefilled'><table><tr><td class='d inner'>0.00</td><td class='p inner'>0.00</td></tr><tr><td class='q inner'>0.00</td><td class='inner arrow'>⏹</td></tr></table></td><td class='outer prefilled'><table><tr><td class='d inner'>-0.50</td><td class='p inner'>-0.50</td></tr><tr><td class='q inner em'>-0.50</td><td class='inner arrow'>←</td></tr></table></td><td class='outer prefilled'><table><tr><td class='d inner'>-0.70</td><td class='p inner'>-0.70</td></tr><tr><td class='q inner em'>-0.70</td><td class='inner arrow'>←</td></tr></table></td><td class='outer prefilled'><table><tr><td class='d inner'>-0.90</td><td class='p inner'>-0.90</td></tr><tr><td class='q inner em'>-0.90</td><td class='inner arrow'>←</td></tr></table></td><td class='outer prefilled'><table><tr><td class='d inner'>-1.10</td><td class='p inner'>-1.10</td></tr><tr><td class='q inner em'>-1.10</td><td class='inner arrow'>←</td></tr></table></td></tr>
+<tr><th class='left'>the</th><td class='outer prefilled bt'><table><tr><td class='d inner'>-0.50</td><td class='p inner em'>-0.50</td></tr><tr><td class='q inner'>-0.50</td><td class='inner arrow'>↑</td></tr></table></td><td class='outer'><table><tr><td class='d inner em'>0.00</td><td class='p inner'>-0.70</td></tr><tr><td class='q inner'>-0.70</td><td class='inner arrow'>↖</td></tr></table></td><td class='outer'><table><tr><td class='d inner'>-0.50</td><td class='p inner'>-0.90</td></tr><tr><td class='q inner em'>-0.50</td><td class='inner arrow'>←</td></tr></table></td><td class='outer'><table><tr><td class='d inner'>-0.70</td><td class='p inner'>-1.10</td></tr><tr><td class='q inner em'>-0.70</td><td class='inner arrow'>←</td></tr></table></td><td class='outer'><table><tr><td class='d inner'>-0.90</td><td class='p inner'>-1.30</td></tr><tr><td class='q inner em'>-0.90</td><td class='inner arrow'>←</td></tr></table></td></tr>
+<tr><th class='left'>quick</th><td class='outer prefilled'><table><tr><td class='d inner'>-0.70</td><td class='p inner em'>-0.70</td></tr><tr><td class='q inner'>-0.70</td><td class='inner arrow'>↑</td></tr></table></td><td class='outer bt'><table><tr><td class='d inner em'>-0.04</td><td class='p inner'>-0.50</td></tr><tr><td class='q inner'>-0.90</td><td class='inner arrow'>↖</td></tr></table></td><td class='outer'><table><tr><td class='d inner em'>0.00</td><td class='p inner'>-1.00</td></tr><tr><td class='q inner'>-0.54</td><td class='inner arrow'>↖</td></tr></table></td><td class='outer'><table><tr><td class='d inner'>-0.50</td><td class='p inner'>-1.20</td></tr><tr><td class='q inner em'>-0.50</td><td class='inner arrow'>←</td></tr></table></td><td class='outer'><table><tr><td class='d inner'>-0.70</td><td class='p inner'>-1.40</td></tr><tr><td class='q inner em'>-0.70</td><td class='inner arrow'>←</td></tr></table></td></tr>
+<tr><th class='left'>brown</th><td class='outer prefilled'><table><tr><td class='d inner'>-0.90</td><td class='p inner em'>-0.90</td></tr><tr><td class='q inner'>-0.90</td><td class='inner arrow'>↑</td></tr></table></td><td class='outer bt'><table><tr><td class='d inner'>-0.70</td><td class='p inner em'>-0.54</td></tr><tr><td class='q inner'>-1.10</td><td class='inner arrow'>↑</td></tr></table></td><td class='outer'><table><tr><td class='d inner em'>-0.04</td><td class='p inner'>-0.50</td></tr><tr><td class='q inner'>-1.04</td><td class='inner arrow'>↖</td></tr></table></td><td class='outer'><table><tr><td class='d inner em'>0.00</td><td class='p inner'>-1.00</td></tr><tr><td class='q inner'>-0.54</td><td class='inner arrow'>↖</td></tr></table></td><td class='outer'><table><tr><td class='d inner'>-0.50</td><td class='p inner'>-1.20</td></tr><tr><td class='q inner em'>-0.50</td><td class='inner arrow'>←</td></tr></table></td></tr>
+<tr><th class='left'>fox</th><td class='outer prefilled'><table><tr><td class='d inner'>-1.10</td><td class='p inner em'>-1.10</td></tr><tr><td class='q inner'>-1.10</td><td class='inner arrow'>↑</td></tr></table></td><td class='outer'><table><tr><td class='d inner'>-0.90</td><td class='p inner em'>-0.74</td></tr><tr><td class='q inner'>-1.30</td><td class='inner arrow'>↑</td></tr></table></td><td class='outer bt'><table><tr><td class='d inner em'>0.46</td><td class='p inner'>-0.54</td></tr><tr><td class='q inner'>-1.24</td><td class='inner arrow'>↖</td></tr></table></td><td class='outer'><table><tr><td class='d inner'>-0.04</td><td class='p inner'>-0.50</td></tr><tr><td class='q inner em'>-0.04</td><td class='inner arrow'>←</td></tr></table></td><td class='outer'><table><tr><td class='d inner em'>0.00</td><td class='p inner'>-1.00</td></tr><tr><td class='q inner'>-0.24</td><td class='inner arrow'>↖</td></tr></table></td></tr>
+<tr><th class='left'>jumps</th><td class='outer prefilled'><table><tr><td class='d inner'>-1.30</td><td class='p inner em'>-1.30</td></tr><tr><td class='q inner'>-1.30</td><td class='inner arrow'>↑</td></tr></table></td><td class='outer'><table><tr><td class='d inner'>-1.10</td><td class='p inner em'>-0.94</td></tr><tr><td class='q inner'>-1.50</td><td class='inner arrow'>↑</td></tr></table></td><td class='outer'><table><tr><td class='d inner'>-0.74</td><td class='p inner em'>-0.04</td></tr><tr><td class='q inner'>-1.44</td><td class='inner arrow'>↑</td></tr></table></td><td class='outer bt'><table><tr><td class='d inner em'>0.64</td><td class='p inner'>-0.54</td></tr><tr><td class='q inner'>-0.54</td><td class='inner arrow'>↖</td></tr></table></td><td class='outer'><table><tr><td class='d inner'>-0.04</td><td class='p inner'>-0.50</td></tr><tr><td class='q inner em'>0.14</td><td class='inner arrow'>←</td></tr></table></td></tr>
+<tr><th class='left'>over</th><td class='outer prefilled'><table><tr><td class='d inner'>-1.50</td><td class='p inner em'>-1.50</td></tr><tr><td class='q inner'>-1.50</td><td class='inner arrow'>↑</td></tr></table></td><td class='outer'><table><tr><td class='d inner'>-1.30</td><td class='p inner em'>-1.14</td></tr><tr><td class='q inner'>-1.70</td><td class='inner arrow'>↑</td></tr></table></td><td class='outer'><table><tr><td class='d inner'>-0.94</td><td class='p inner em'>-0.24</td></tr><tr><td class='q inner'>-1.64</td><td class='inner arrow'>↑</td></tr></table></td><td class='outer bt'><table><tr><td class='d inner'>-0.04</td><td class='p inner em'>0.14</td></tr><tr><td class='q inner'>-0.74</td><td class='inner arrow'>↑</td></tr></table></td><td class='outer'><table><tr><td class='d inner em'>0.64</td><td class='p inner'>-0.36</td></tr><tr><td class='q inner'>-0.36</td><td class='inner arrow'>↖</td></tr></table></td></tr>
+<tr><th class='left'>the</th><td class='outer prefilled'><table><tr><td class='d inner'>-1.70</td><td class='p inner em'>-1.70</td></tr><tr><td class='q inner'>-1.70</td><td class='inner arrow'>↑</td></tr></table></td><td class='outer'><table><tr><td class='d inner'>-1.50</td><td class='p inner em'>-1.34</td></tr><tr><td class='q inner'>-1.90</td><td class='inner arrow'>↑</td></tr></table></td><td class='outer'><table><tr><td class='d inner'>-1.14</td><td class='p inner em'>-0.44</td></tr><tr><td class='q inner'>-1.84</td><td class='inner arrow'>↑</td></tr></table></td><td class='outer bt'><table><tr><td class='d inner'>-0.24</td><td class='p inner em'>-0.06</td></tr><tr><td class='q inner'>-0.94</td><td class='inner arrow'>↑</td></tr></table></td><td class='outer'><table><tr><td class='d inner'>0.14</td><td class='p inner em'>0.14</td></tr><tr><td class='q inner'>-0.56</td><td class='inner arrow'>↑</td></tr></table></td></tr>
+<tr><th class='left'>lazy</th><td class='outer prefilled'><table><tr><td class='d inner'>-1.90</td><td class='p inner em'>-1.90</td></tr><tr><td class='q inner'>-1.90</td><td class='inner arrow'>↑</td></tr></table></td><td class='outer'><table><tr><td class='d inner'>-1.70</td><td class='p inner em'>-1.54</td></tr><tr><td class='q inner'>-2.10</td><td class='inner arrow'>↑</td></tr></table></td><td class='outer'><table><tr><td class='d inner'>-1.34</td><td class='p inner em'>-0.64</td></tr><tr><td class='q inner'>-2.04</td><td class='inner arrow'>↑</td></tr></table></td><td class='outer'><table><tr><td class='d inner'>-0.44</td><td class='p inner em'>-0.26</td></tr><tr><td class='q inner'>-1.14</td><td class='inner arrow'>↑</td></tr></table></td><td class='outer bt'><table><tr><td class='d inner em'>0.40</td><td class='p inner'>-0.06</td></tr><tr><td class='q inner'>-0.76</td><td class='inner arrow'>↖</td></tr></table></td></tr>
+<tr><th class='left'>dog</th><td class='outer prefilled'><table><tr><td class='d inner'>-2.10</td><td class='p inner em'>-2.10</td></tr><tr><td class='q inner'>-2.10</td><td class='inner arrow'>↑</td></tr></table></td><td class='outer'><table><tr><td class='d inner'>-1.90</td><td class='p inner em'>-1.74</td></tr><tr><td class='q inner'>-2.30</td><td class='inner arrow'>↑</td></tr></table></td><td class='outer'><table><tr><td class='d inner'>-1.54</td><td class='p inner em'>-0.84</td></tr><tr><td class='q inner'>-2.24</td><td class='inner arrow'>↑</td></tr></table></td><td class='outer'><table><tr><td class='d inner'>-0.64</td><td class='p inner em'>-0.46</td></tr><tr><td class='q inner'>-1.34</td><td class='inner arrow'>↑</td></tr></table></td><td class='outer bt'><table><tr><td class='d inner'>-0.26</td><td class='p inner em'>-0.10</td></tr><tr><td class='q inner'>-0.96</td><td class='inner arrow'>↑</td></tr></table></td></tr>
+</table>
+