aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarshall Lochbaum <mwlochbaum@gmail.com>2022-07-03 18:31:45 -0400
committerMarshall Lochbaum <mwlochbaum@gmail.com>2022-07-03 18:31:45 -0400
commite0c5433d1b0db5228c16f97687f365a8e2f5ddb0 (patch)
tree0a6fb02642da91f081aae2e9ccb9d025059b7d45
parentf6f41e4f41a217442917335829d1ddc33c5a841f (diff)
Clean up bins diagram
-rw-r--r--doc/order.md17
-rw-r--r--docs/doc/order.html46
2 files changed, 32 insertions, 31 deletions
diff --git a/doc/order.md b/doc/order.md
index 409c022b..195452b1 100644
--- a/doc/order.md
+++ b/doc/order.md
@@ -129,18 +129,21 @@ tx ← ↕∘≠ xt ⋄ y ← +`0.5‿1.6‿0.8
dim ← ⟨1.5+≠xt, 0.5+¯1⊑y⟩ ⋄ sh ← ¯1.8‿0
ig ← "fill=currentColor|font-size=16|opacity=0.8|class=Number"
pa ← "path"At"class=green|style=fill:none|stroke-width=2|stroke-linecap=round|opacity=0.9"
+
PD ← ∾∾¨⟜FmtNum
-brk ← "m vv"PD 3×2‿¯6‿7‿¯1
+brk ← "m vm "PD 3×2‿¯6‿7‿0‿¯1
dot ← "hm hm h"⊸PD¨ (⊑d)×dl←(0.4⌾(¯1⊸⊑)⋈1⌾⊑) 7⥊0.12‿0.1‿0
-Paths ← lg Ge Line∘+⟜(≍˘⟜-0.2⋈˜0.04×·÷´-˝˘)¨
+bin ← ∾("M "PD d×(-0.27+´⊑dl)⋈0.25+⊑y)⌾⊑⥊(<brk)≍˘dot(1⌽⌽⊸∾)3⥊<"h"PD⟨6-˜⊑d⟩
+
+qu ← <˘Text⟜""""¨ (2↑y)⋈˜¨¯0.25≍˘0.75-˜≠¨wt‿xt
+tt ← qu ∾¨⌾(2⊸↑) y (⋈˜¨⟜(↕≠)Text¨⊢)¨ ⟨wt,xt,FmtNum b⟩
((∾˜d)×((-∾+˜)1‿0.2)+sh∾dim) SVG g Ge ⟨
"rect" Elt rc ∾ sh Rp dim
- Paths (⋈¨⟜tx˘(0.6-˜b⊸⊏)⊸≍tx) ≍¨⟜<˘ (0.3∾0.03ׯ1‿2‿0)+⌾⥊2↕y
- pa Elt "d"⋈∾("M "PD d×(-0.27+´⊑dl)⋈0.4+⊑y)⌾⊑⥊(<brk)≍˘dot(1⌽⌽⊸∾)3⥊<"h"PD⟨6-˜⊑d⟩
- mg Ge (1‿1‿0⊏ci) "class="⊸∾⊸Ge¨ y (⋈˜¨⟜(↕≠)Text¨⊢)¨ ⟨wt,xt,FmtNum b⟩
- mg Ge (1‿1⊏ci) "class="⊸∾⊸Ge¨ Text⟜""""¨ (2↑y)⋈˜¨¯0.25≍˘0.75-˜≠¨wt‿xt
- ig Ge ((⋈⟜(0.25+⊑y)¨-⟜0.6) Text¨ FmtNum) ↕1+≠wt
+ lg Ge (⋈¨⟜tx˘(0.6-˜b⊸⊏)⊸≍tx) (Line≍+·≍˘⟜-0.04×÷○(-´)⋈5˙)¨⟜<˘ 2↕0.34⊸+⌾⊑y
+ pa Elt "d"‿bin
+ mg Ge (1‿1‿0⊏ci) "class="⊸∾⊸Ge¨ tt
+ ig Ge ((⋈⟜(0.39+⊑y)¨-⟜0.6) Text¨ FmtNum) ↕1+≠wt
cg Ge (¯0.8≍¨y) Text⟜Highlight¨ "𝕨"‿"𝕩"‿"𝕨⍋𝕩"
}
diff --git a/docs/doc/order.html b/docs/doc/order.html
index 2c073e51..35d30894 100644
--- a/docs/doc/order.html
+++ b/docs/doc/order.html
@@ -193,28 +193,32 @@
<g font-family='BQN,monospace' font-size='22px' text-anchor='middle'>
<rect class='code' stroke-width='1.5' rx='12' x='-108' y='0' width='450' height='231.2'/>
<g class='lilac' stroke-width='2' stroke-linecap='round'>
- <line x1='23.244' x2='0.756' y1='68' y2='127.16'/>
- <line x1='141.354' x2='62.646' y1='68' y2='127.16'/>
- <line x1='-31.087' x2='115.087' y1='68' y2='127.16'/>
- <line x1='28.913' x2='175.087' y1='68' y2='127.16'/>
- <line x1='30.803' x2='233.197' y1='68' y2='127.16'/>
- <line x1='207.024' x2='296.976' y1='68' y2='127.16'/>
- <line x1='0' x2='0' y1='160.48' y2='183.6'/>
- <line x1='60' x2='60' y1='160.48' y2='183.6'/>
- <line x1='120' x2='120' y1='160.48' y2='183.6'/>
- <line x1='180' x2='180' y1='160.48' y2='183.6'/>
- <line x1='240' x2='240' y1='160.48' y2='183.6'/>
- <line x1='300' x2='300' y1='160.48' y2='183.6'/>
+ <line x1='23.238' x2='0.762' y1='70.72' y2='129.2'/>
+ <line x1='141.333' x2='62.667' y1='70.72' y2='129.2'/>
+ <line x1='-31.048' x2='115.048' y1='70.72' y2='129.2'/>
+ <line x1='28.952' x2='175.048' y1='70.72' y2='129.2'/>
+ <line x1='30.857' x2='233.143' y1='70.72' y2='129.2'/>
+ <line x1='207.048' x2='296.952' y1='70.72' y2='129.2'/>
+ <line x1='0' x2='0' y1='156.4' y2='183.6'/>
+ <line x1='60' x2='60' y1='156.4' y2='183.6'/>
+ <line x1='120' x2='120' y1='156.4' y2='183.6'/>
+ <line x1='180' x2='180' y1='156.4' y2='183.6'/>
+ <line x1='240' x2='240' y1='156.4' y2='183.6'/>
+ <line x1='300' x2='300' y1='156.4' y2='183.6'/>
</g>
- <path class='green' style='fill:none' stroke-width='2' stroke-linecap='round' opacity='0.9' d='M-66.6 61.2h7.2m6 0h7.2m6 0h24m6 -18v21v-3h54m6 -18v21v-3h54m6 -18v21v-3h54m6 -18v21v-3h60m6 0h7.2m6 0h7.2'/>
+ <path class='green' style='fill:none' stroke-width='2' stroke-linecap='round' opacity='0.9' d='M-66.6 51h7.2m6 0h7.2m6 0h24m6 -18v21m0 -3h54m6 -18v21m0 -3h54m6 -18v21m0 -3h54m6 -18v21m0 -3h60m6 0h7.2m6 0h7.2'/>
<g fill='currentColor' font-size='22'>
<g class='String'>
+ <text dy='0.32em' x='-15' y='34'>"</text>
+ <text dy='0.32em' x='195' y='34'>"</text>
<text dy='0.32em' x='0' y='34'>b</text>
<text dy='0.32em' x='60' y='34'>i</text>
<text dy='0.32em' x='120' y='34'>n</text>
<text dy='0.32em' x='180' y='34'>s</text>
</g>
<g class='String'>
+ <text dy='0.32em' x='-15' y='142.8'>"</text>
+ <text dy='0.32em' x='315' y='142.8'>"</text>
<text dy='0.32em' x='0' y='142.8'>g</text>
<text dy='0.32em' x='60' y='142.8'>r</text>
<text dy='0.32em' x='120' y='142.8'>a</text>
@@ -231,18 +235,12 @@
<text dy='0.32em' x='300' y='197.2'>4</text>
</g>
</g>
- <g fill='currentColor' font-size='22'>
- <g class='String'><text dy='0.32em' x='-15' y='34'>"</text></g>
- <g class='String'><text dy='0.32em' x='195' y='34'>"</text></g>
- <g class='String'><text dy='0.32em' x='-15' y='142.8'>"</text></g>
- <g class='String'><text dy='0.32em' x='315' y='142.8'>"</text></g>
- </g>
<g fill='currentColor' font-size='16' opacity='0.8' class='Number'>
- <text dy='0.32em' x='-36' y='51'>0</text>
- <text dy='0.32em' x='24' y='51'>1</text>
- <text dy='0.32em' x='84' y='51'>2</text>
- <text dy='0.32em' x='144' y='51'>3</text>
- <text dy='0.32em' x='204' y='51'>4</text>
+ <text dy='0.32em' x='-36' y='60.52'>0</text>
+ <text dy='0.32em' x='24' y='60.52'>1</text>
+ <text dy='0.32em' x='84' y='60.52'>2</text>
+ <text dy='0.32em' x='144' y='60.52'>3</text>
+ <text dy='0.32em' x='204' y='60.52'>4</text>
</g>
<g font-size='18px' text-anchor='end'>
<text dy='0.32em' x='-48' y='34'><tspan class='Value'>𝕨</tspan></text>