Received: from [192.168.123.254] (port=38722 helo=db.digitalkingdom.org) by stodi.digitalkingdom.org with smtp (Exim 4.94) (envelope-from ) id 1kl4bR-002Hzr-5M for jbovlaste-admin@lojban.org; Thu, 03 Dec 2020 22:30:03 -0800 Received: by db.digitalkingdom.org (sSMTP sendmail emulation); Fri, 04 Dec 2020 06:30:01 +0000 From: "Apache" To: curtis289@att.net Reply-To: webmaster@lojban.org Subject: [jvsw] Definition Added At Word bai'i'i -- By krtisfranks Date: Fri, 4 Dec 2020 06:30:01 +0000 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Message-Id: X-Spam-Score: -2.9 (--) X-Spam_score: -2.9 X-Spam_score_int: -28 X-Spam_bar: -- In jbovlaste, the user krtisfranks has added a definition of "bai'i'i" in the language "English". New Data: Definition: mekso operator: in ordered tuple/list/vector/sequence $X_1$, replace the $X_2$th entry with term $X_3$ of appropriate type, and leave all other entries untouched (optional: where the index for the very first/leading/header entry is $X_4$). Notes: $X_1$ must be some ordered and indexed structure; $X_2$ must be an index which specifies an entry/element/term which actually appears in $X_1$; $X_3$ is an alternative value of appropriate type which can, and after this operation does, replace the $X_2$th entry/element/term; the counting for indices is according to explicitly specified or implicit cultural convention, or the natural convention for the circumstance, or (when ambiguous or unclear) starts with 1, unless $X_4$ specifies otherwise (in which case, it is according to that specification). Exactly the $X_2$th entry is reppaced, and it is replaced with exactly $X_3$. For example: in (A, B, C), A is the $X_4$th entry (default: 1st); bai'i'i((A, B, C), 2, b, 1) = (A, b, C). $X_2$ itself could be replaced with a(n ordered) set of index values, in which case $X_3$ must be an ordered list of replacement values such that they have the same cardinality; in this situation, the $n$th index in the index set (according to its ordering) corresponds to an entry in $X_1$ which gets replaced (respectively) by the $n$th entry in $X_3$, where the entries in $X_3$ are themselves counted/indexed/ordered in the usual manner and with the first/leading/header entry being 1st unless somehow explicitly specified otherwise; the index set is automatically ordered according to the same ordering as on $X_3$ unless explicitly specified otherwise. Example: bai'i'i((A, B, C, D, E, F, G), Set(5, 2), (b, e), 1) = (A, b, C, D, e, F, G), where the ordering on $X_2$ and $X_3$ is the standard ordering starting with 1; note that Set(5, 2) is unordered and that the standard ordering rearranges it as (2, 5) with 2 being the 1st entry/element, meaning that the index 2 (corresponding with B in $X_1$) gets linked with the first entry of $X_3$, which is b, meaning that B gets replaced by b in $X_1$. Jargon: Gloss Keywords: Word: find-and-replace, In Sense: for ordered tuples by index Place Keywords: You can go to to see it.