Received: from 173-13-139-235-sfba.hfc.comcastbusiness.net ([173.13.139.235]:50328 helo=jukni.digitalkingdom.org) by stodi.digitalkingdom.org with smtp (Exim 4.85) (envelope-from ) id 1ZkM9Y-000527-6k; Thu, 08 Oct 2015 18:07:25 -0700 Received: by jukni.digitalkingdom.org (sSMTP sendmail emulation); Thu, 08 Oct 2015 18:07:19 -0700 From: "Apache" Date: Thu, 08 Oct 2015 18:07:19 -0700 To: webmaster@lojban.org, curtis289@att.net Subject: [jvsw] Definition Edited At Word mu'ai'au -- By krtisfranks Bcc: jbovlaste-admin@lojban.org Message-ID: <56171347.AR/5RqjvzaQvr4DM%webmaster@lojban.org> User-Agent: Heirloom mailx 12.5 7/5/10 MIME-Version: 1.0 Content-Type: application/octet-stream Content-Transfer-Encoding: quoted-printable 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.4477] 1.0 RDNS_DYNAMIC Delivered to internal network by host with dynamic-looking rDNS In jbovlaste, the user krtisfranks has edited a definition of "mu'ai'au" in the language "English". Differences: 2,2c2,2 < =09=09mathematical/logical/mekso ternary operator: =CE=BC (mu) operat= or: outputs the most extreme extended-natural number that satisfies rel= ationship/predicate A, where extremeness bounded by B and of a version = determined by C. --- > =09=09mathematical/logical/mekso ternary operator: =CE=BC (mu) operat= or: outputs the most extreme extended-natural number that satisfies rel= ationship/predicate A, where extremeness is bounded by B and of a versi= on determined by C; error output is -1 5,5c5,5 < =09=09A is a proposition; it will be a function of at least one varia= ble. The output of this function will cause A to evaluate to true if pl= ugged 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 =3D 1, then extre= meness here is defined as "least"; if C =3D -1, then extremeness here i= s defined as "greatest". If C =3D 1, then B is an upperbound; if C =3D = -1, then B is a lowerbound. The contextless default value of C is 1. Th= e contextless default value of B is sgn(C)*infinity (countable, in a se= nse). The output may be equal to B. The output belongs to the set of al= l 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 re= strict outputs from being pathological for your purposes. --- > =09=09A is a proposition; it will be a function of at least one varia= ble. The output of this function will cause A to evaluate to true if pl= ugged 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 =3D 1, then extre= meness here is defined as "least"; if C =3D -1, then extremeness here i= s defined as "greatest". If C =3D 1, then B is an upperbound; if C =3D = -1, then B is a lowerbound. The contextless default value of C is 1. Th= e contextless default value of B is sgn(C)*infinity (countable, in a se= nse). The output may be equal to B. The output belongs to the set of al= l 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 re= strict outputs from being pathological for your purposes. Example: Let = C =3D 1 and suppose that there exists a number that satisfies A and is = one of the following values: 0, a positive integer, (countable) infinit= y. Then the output of this function (id est: =CE=BC(A, B, 1); where "= =CE=BC" represents the mu operator) is the least such number that is le= ss than or equal to B. Note that in this example, the contextless defau= lt value of B is (countable) infinity. Old Data: =09Definition: =09=09mathematical/logical/mekso ternary operator: =CE=BC (mu) operator= : outputs the most extreme extended-natural number that satisfies relat= ionship/predicate A, where extremeness bounded by B and of a version de= termined by C. =09Notes: =09=09A is a proposition; it will be a function of at least one variabl= e. The output of this function will cause A to evaluate to true if plug= ged in as the primary (first) argument of A, except in the Error Case t= hat is described later. C can only be -1 or 1; if C =3D 1, then extreme= ness here is defined as "least"; if C =3D -1, then extremeness here is = defined as "greatest". If C =3D 1, then B is an upperbound; if C =3D -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 sens= e). 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 C= ase: If no such number exists, the output is -1. Use A in order to rest= rict outputs from being pathological for your purposes. =09Jargon: =09=09 =09Gloss Keywords: =09=09Word: mu operator, In Sense: least value that satisfies a conditi= on =09Place Keywords: New Data: =09Definition: =09=09mathematical/logical/mekso ternary operator: =CE=BC (mu) operator= : outputs the most extreme extended-natural number that satisfies relat= ionship/predicate A, where extremeness is bounded by B and of a version= determined by C; error output is -1 =09Notes: =09=09A is a proposition; it will be a function of at least one variabl= e. The output of this function will cause A to evaluate to true if plug= ged in as the primary (first) argument of A, except in the Error Case t= hat is described later. C can only be -1 or 1; if C =3D 1, then extreme= ness here is defined as "least"; if C =3D -1, then extremeness here is = defined as "greatest". If C =3D 1, then B is an upperbound; if C =3D -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 sens= e). 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 C= ase: If no such number exists, the output is -1. Use A in order to rest= rict outputs from being pathological for your purposes. Example: Let C = =3D 1 and suppose that there exists a number that satisfies A and is on= e of the following values: 0, a positive integer, (countable) infinity.= Then the output of this function (id est: =CE=BC(A, B, 1); where "=CE= =BC" represents the mu operator) is the least such number that is less = than or equal to B. Note that in this example, the contextless default = value of B is (countable) infinity. =09Jargon: =09=09 =09Gloss Keywords: =09=09Word: mu operator, In Sense: least value that satisfies a conditi= on =09Place Keywords: You can go to to see it.