Received: from 173-13-139-235-sfba.hfc.comcastbusiness.net ([173.13.139.235]:49980 helo=jukni.digitalkingdom.org) by stodi.digitalkingdom.org with smtp (Exim 4.85) (envelope-from ) id 1ZkM3c-0004tt-T2; Thu, 08 Oct 2015 18:01:19 -0700 Received: by jukni.digitalkingdom.org (sSMTP sendmail emulation); Thu, 08 Oct 2015 18:01:12 -0700 From: "Apache" Date: Thu, 08 Oct 2015 18:01:12 -0700 To: webmaster@lojban.org, curtis289@att.net Subject: [jvsw] Definition Added At Word mu'ai'au -- By krtisfranks Bcc: jbovlaste-admin@lojban.org Message-ID: <561711d8.unv71PJ08qrdX0Wq%webmaster@lojban.org> User-Agent: Heirloom mailx 12.5 7/5/10 MIME-Version: 1.0 Content-Type: application/octet-stream Content-Transfer-Encoding: 8bit X-Spam-Score: 3.2 (+++) X-Spam_score: 3.2 X-Spam_score_int: 32 X-Spam_bar: +++ X-Spam-Report: Spam detection software, running on the system "stodi.digitalkingdom.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see @@CONTACT_ADDRESS@@ for details. Content preview: [...] Content analysis details: (3.2 points, 5.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 1.4 RCVD_IN_BRBL_LASTEXT RBL: No description available. [173.13.139.235 listed in bb.barracudacentral.org] 0.8 BAYES_50 BODY: Bayes spam probability is 40 to 60% [score: 0.4914] 1.0 RDNS_DYNAMIC Delivered to internal network by host with dynamic-looking rDNS In jbovlaste, the user krtisfranks has added a definition of "mu'ai'au" in the language "English". New Data: Definition: mathematical/logical/mekso ternary operator: μ (mu) operator: outputs the most extreme extended-natural number that satisfies relationship/predicate A, where extremeness bounded by B and of a version determined by C. Notes: A is a proposition; it will be a function of at least one variable. The output of this function will cause A to evaluate to true if plugged in as the primary (first) argument of A, except in the Error Case that is described later. C can only be -1 or 1; if C = 1, then extremeness here is defined as "least"; if C = -1, then extremeness here is defined as "greatest". If C = 1, then B is an upperbound; if C = -1, then B is a lowerbound. The contextless default value of C is 1. The contextless default value of B is sgn(C)*infinity (countable, in a sense). The output may be equal to B. The output belongs to the set of all positive integers united with the set of 0 and sgn(C)*infinity. Error Case: If no such number exists, the output is -1. Use A in order to restrict outputs from being pathological for your purposes. Jargon: Gloss Keywords: Word: mu operator, In Sense: least value that satisfies a condition Place Keywords: You can go to to see it.