Received: from [192.168.123.254] (port=52910 helo=jukni.digitalkingdom.org) by stodi.digitalkingdom.org with smtp (Exim 4.92) (envelope-from ) id 1jQO7L-0007Fj-L3 for jbovlaste-admin@lojban.org; Sun, 19 Apr 2020 21:33:14 -0700 Received: by jukni.digitalkingdom.org (sSMTP sendmail emulation); Sun, 19 Apr 2020 21:33:11 -0700 From: "Apache" To: curtis289@att.net Reply-To: webmaster@lojban.org Subject: [jvsw] Definition Added At Word fau'i -- By krtisfranks Date: Sun, 19 Apr 2020 21:33:11 -0700 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 "fau'i" in the language "English". New Data: Definition: mekso ternary operator: inverse function of input function $X_1$ with respect to its input $X_2$, taken on branch $X_3$. Notes: $X_3$ often omitted due to obviousness (or due to lack of need/due to well-definition) or convention. $X_1$ should be a function supplied in "{zay'au}" quotes; that function itself should be at least unary and the input against which the inverse is being taken in an n-ary $X_1$ is $X_2$. $X_2$ should technically be a input slot index or domain (or subspace/projection thereof), but a named and non-evaluated dummy variable symbol can be supplied if the slot ordering or domain terms (vel sim.) are not well-specified. See also: "{fau'e}" (this word acts as a better-specified case of iteration order $n=-1$ for "fau'e"). Jargon: Gloss Keywords: Word: inverse function, In Sense: Place Keywords: You can go to to see it.