From b2374aef747b4988417f896fdf33852dd57b9b07 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Wed, 3 Feb 2021 13:43:13 -0500 Subject: Rename Unique Mask to Mark Firsts --- docs/doc/train.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/doc/train.html') diff --git a/docs/doc/train.html b/docs/doc/train.html index 4ae23b13..23348229 100644 --- a/docs/doc/train.html +++ b/docs/doc/train.html @@ -41,7 +41,7 @@

In a train, arguments alternate strictly with combining functions between them. Arguments can be either functions or subjects, except for the rightmost one, which has to be a function to indicate that the expression is a train. Trains tend to be shorter than subject expressions partly because to keep track of this alternation in a train of all functions, you need to know where each function is relative to the end of the train (subjects like the ¯1 above only occur as left arguments, so they can also serve as anchors).

Practice training

-

The train ⊢>¯1»⌈` is actually a nice trick for getting the unique mask ∊𝕩 from the self-classify ⊐𝕩 without doing another search. Let's take a closer look, first by applying it mechanically. To do this, we apply each "argument" to the train's argument, and then combine them with the combining functions.

+

The train ⊢>¯1»⌈` is actually a nice trick for marking first occurrences ∊𝕩 given the self-classify ⊐𝕩 without doing another search. Let's take a closer look, first by applying it mechanically. To do this, we apply each "argument" to the train's argument, and then combine them with the combining functions.

(⊢ > ¯1 » ⌈`) 𝕩
 (⊢𝕩) > (¯1) » (⌈`𝕩)
 𝕩 > ¯1 » ⌈`𝕩
-- 
cgit v1.2.3