Received: from 173-13-139-235-sfba.hfc.comcastbusiness.net ([173.13.139.235]:37771 helo=jukni.digitalkingdom.org) by stodi.digitalkingdom.org with smtp (Exim 4.80.1) (envelope-from ) id 1Y4QAI-0007t9-KQ; Fri, 26 Dec 2014 00:22:31 -0800 Received: by jukni.digitalkingdom.org (sSMTP sendmail emulation); Fri, 26 Dec 2014 00:22:30 -0800 From: "Apache" Date: Fri, 26 Dec 2014 00:22:30 -0800 To: webmaster@lojban.org, curtis289@att.net Subject: [jvsw] Definition Added At Word fau'au -- By krtisfranks Bcc: jbovlaste-admin@lojban.org Message-ID: <549d1ac6.Rnlvqu0yzVOOx/Ho%webmaster@lojban.org> User-Agent: Heirloom mailx 12.5 7/5/10 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Spam-Score: 0.5 (/) X-Spam_score: 0.5 X-Spam_score_int: 5 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: In jbovlaste, the user krtisfranks has added a definition of "fau'au" in the language "English". New Data: Definition: two-tier function map/assignment writer notation: X1 (ordered list, no repetitious terms) maps termwise-respectively to X2 (ordered list; may be repetitious but must have exactly as many terms as X1) [...] Content analysis details: (0.5 points, 5.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 URIBL_BLOCKED ADMINISTRATOR NOTICE: The query to URIBL was blocked. See http://wiki.apache.org/spamassassin/DnsBlocklists#dnsbl-block for more information. [URIs: lojban.org] 1.4 RCVD_IN_BRBL_LASTEXT RBL: No description available. [173.13.139.235 listed in bb.barracudacentral.org] -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% [score: 0.0000] 1.0 RDNS_DYNAMIC Delivered to internal network by host with dynamic-looking rDNS In jbovlaste, the user krtisfranks has added a definition of "fau'au" in the language "English". New Data: Definition: two-tier function map/assignment writer notation: X1 (ordered list, no repetitious terms) maps termwise-respectively to X2 (ordered list; may be repetitious but must have exactly as many terms as X1) Notes: So named because, in mathematical notation, the domain set of the function is written down in some order in its entirety and then, below it, the range of the function is written so that each image and preimage line up vertically with their appropriate/respective partner. Really useful when mapping from a countable set/object that is either human-small or in which the pattern is clear. Occasionally used for a more explicit form of notation for permutations (in which cycle decomposition is not necessarily as evident, but the structure as a how is, at least, explicit). The ith term of X1 is mapped to the ith term of X2; there is no knowledge of what happens to any value that is not term of list X1. Useful for lambda calculus. Jargon: Gloss Keywords: Word: function map writer notation, In Sense: two-tier Word: assignment writer notation, In Sense: two-tier Place Keywords: You can go to to see it.