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/spec/inferred.html | 2 +- docs/spec/primitive.html | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) (limited to 'docs/spec') diff --git a/docs/spec/inferred.html b/docs/spec/inferred.html index 33470f4f..79d6e00d 100644 --- a/docs/spec/inferred.html +++ b/docs/spec/inferred.html @@ -450,7 +450,7 @@ k๐”ฝ๐”พ -๐”พโผk๐”ฝโผโŠข +๐”พโผ{๐•จ๐”ฝ๐”พ๐•ฉ}(k๐”ฝโผโŠข) Constant k diff --git a/docs/spec/primitive.html b/docs/spec/primitive.html index db1b7e02..e59188d1 100644 --- a/docs/spec/primitive.html +++ b/docs/spec/primitive.html @@ -129,9 +129,9 @@

Range (โ†•) is extended to apply to a list of natural numbers, in addition to the provided case of a single natural number (an enclosed natural number ๐•ฉ should still result in an error). For a list ๐•ฉ, the result is an array of shape ๐•ฉ in which the value at a given index is that index, as a list of natural numbers. That is, iโ‰กiโŠ‘โ†•๐•ฉ for any list of natural numbers i with โˆงยดi<๐•ฉ.

Searching

Match (โ‰ก) indicates whether two values are considered equivalent. It always returns 0 or 1, and never causes an error. If both arguments are atoms then it is identical to =, and if one is an atom and the other an array then it returns 0. If both arguments are arrays then it returns 1 only if they have the same shape and all pairs of corresponding elements match. Fill elements aren't taken into account, so that arrays that match might still differ in behavior. Not Match simply returns the complement of Match, ยฌโ‰ก.

-

Monadic search functions compare the major cells of ๐•ฉ to each other. ๐•ฉ must have rank at least 1. Except for Unique (โท), the result is a list of numbers with the same length as ๐•ฉ.

+

Monadic search functions compare the major cells of ๐•ฉ to each other. ๐•ฉ must have rank at least 1. Except for Deduplicate (โท), the result is a list of numbers with the same length as ๐•ฉ.