shorten the transitive closure code

kspalaiologos · Mar 11, 2023 · ec5b5b7 · ec5b5b7
1 parent 68c916a
commit ec5b5b7
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/doc/content/chapter3.tex b/doc/content/chapter3.tex
@@ -853,14 +853,14 @@ \section{Relations}
     ...   (○← xd (⍴ \⍎ m))
     ...   (○← yd (⍴ m))
     ...   (↕¨
-    ...     ((< xd yd) (:(λ x (⍠ x \↑ (- yd xd) '(0))) m))
-    ...     ((> xd yd) (⍠ m (⍉↩ (- xd yd) (⌿.⍧ \↑ xd '(0)))))
+    ...     ((< xd yd) \:(λ x \⍠ x \↑ (- yd xd) '(0)) m)
+    ...     ((> xd yd) \⍠ m \⍉↩ (- xd yd) \⌿.⍧ \↑ xd '(0))
     ...     ((= xd yd) m)))
     --> ; Compute the transitive closure.
     --> ⍥← transitive-closure x (○⊢¨
-    ...   (○← x (sqm (⍸¯¹ x)))
-    ...   (⍥← ∨○∧ m ($(⌿.← ∨)%[1] \⌼ ∧ m \⎕⍉ m))
-    ...   (⍸ (→≡ [∨ ∨○∧ #0] x)))
+    ...   (○← x \sqm \⍸¯¹ x)
+    ...   (⍥← ∨○∧ m \$(⌿.← ∨)%[1] \⌼ ∧ m \⎕⍉ m)
+    ...   (⍸ \→≡ [∨ ∨○∧ #0] x))
 \end{Verbatim}
 
 \section{Graphs}

diff --git a/doc/main.pdf b/doc/main.pdf