Received: from 173-13-139-235-sfba.hfc.comcastbusiness.net ([173.13.139.235]:46220 helo=jukni.digitalkingdom.org) by stodi.digitalkingdom.org with smtp (Exim 4.85) (envelope-from ) id 1ZkLHI-000414-5O; Thu, 08 Oct 2015 17:11:21 -0700 Received: by jukni.digitalkingdom.org (sSMTP sendmail emulation); Thu, 08 Oct 2015 17:11:16 -0700 From: "Apache" Date: Thu, 08 Oct 2015 17:11:16 -0700 To: webmaster@lojban.org, curtis289@att.net Subject: [jvsw] Definition Edited At Word ci'o'au -- By krtisfranks Bcc: jbovlaste-admin@lojban.org Message-ID: <56170624.EzStQ5rVZ5SW54AX%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: quoted-printable 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 edited a definition of "ci'o'au" in the language "English". Differences: 5,5c5,5 < A must be a tuple. Let L = length(A); then L is a positive integer, 0, or infinity (countable), and A = (A_1, A_2, ..., A_L), and B must be a natural number and belong to the ordered interval [1, L]. If L = 0, the output is a placeholder "blank element"; else, if B does not satisfy the aforementioned condition, then the function is undefined. Using the aforementioned notation, and letting Proj represent the projection function, Proj(A, B) = A_B; note that B = 1 will cause the output of the first entry in the tuple, which is A_1. For any i, there is no restriction on the typing/value of A_i so long as it is defined; the type of A_i need not even match the type of A_j for i =/= j. See also: {bai'ei}, {no'au}, {pi'ei}. Notice that the input is a single tuple and an integer, it does not rely on anyou underlying stucture; this is markedly different from a the dot product of vectors, although by establishing a basis and an underlying field, they can look quite similar. --- > A must be a tuple. Let L = length(A); then L is a positive integer, 0, or infinity (countable), and A = (A_1, A_2, ..., A_L), and B must be a natural number and belong to the ordered interval [1, L]. If L = 0, the output is a placeholder "blank element"; else, if B does not satisfy the aforementioned condition, then the function is undefined. Using the aforementioned notation, and letting Proj represent the projection function, Proj(A, B) = A_B; note that B = 1 will cause the output of the first entry in the tuple, which is A_1. For any i, there is no restriction on the typing/value of A_i so long as it is defined; the type of A_i need not even match the type of A_j for i =/= j. See also: {bai'ei}, {no'au'au}, {pi'ei}. Notice that the input is a single tuple and an integer, it does not rely on anyou underlying stucture; this is markedly different from a the dot product of vectors, although by establishing a basis and an underlying field, they can look quite similar. [...] 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.0022] 1.0 RDNS_DYNAMIC Delivered to internal network by host with dynamic-looking rDNS In jbovlaste, the user krtisfranks has edited a definition of "ci'o'au" in the language "English". Differences: 5,5c5,5 < =09=09A must be a tuple. Let L =3D length(A); then L is a positive in= teger, 0, or infinity (countable), and A =3D (A_1, A_2, ..., A_L), and= B must be a natural number and belong to the ordered interval [1, L]. = If L =3D 0, the output is a placeholder "blank element"; else, if B doe= s not satisfy the aforementioned condition, then the function is undefi= ned. Using the aforementioned notation, and letting Proj represent the = projection function, Proj(A, B) =3D A_B; note that B =3D 1 will cause t= he output of the first entry in the tuple, which is A_1. For any i, the= re is no restriction on the typing/value of A_i so long as it is define= d; the type of A_i need not even match the type of A_j for i =3D/=3D j.= See also: {bai'ei}, {no'au}, {pi'ei}. Notice that the input is a singl= e tuple and an integer, it does not rely on anyou underlying stucture; = this is markedly different from a the dot product of vectors, although = by establishing a basis and an underlying field, they can look quite si= milar. --- > =09=09A must be a tuple. Let L =3D length(A); then L is a positive in= teger, 0, or infinity (countable), and A =3D (A_1, A_2, ..., A_L), and= B must be a natural number and belong to the ordered interval [1, L]. = If L =3D 0, the output is a placeholder "blank element"; else, if B doe= s not satisfy the aforementioned condition, then the function is undefi= ned. Using the aforementioned notation, and letting Proj represent the = projection function, Proj(A, B) =3D A_B; note that B =3D 1 will cause t= he output of the first entry in the tuple, which is A_1. For any i, the= re is no restriction on the typing/value of A_i so long as it is define= d; the type of A_i need not even match the type of A_j for i =3D/=3D j.= See also: {bai'ei}, {no'au'au}, {pi'ei}. Notice that the input is a si= ngle tuple and an integer, it does not rely on anyou underlying stuctur= e; this is markedly different from a the dot product of vectors, althou= gh by establishing a basis and an underlying field, they can look quite= similar. Old Data: =09Definition: =09=09mekso operator (binary): projection function; the Bth term/entry = ("element") of tuple A =09Notes: =09=09A must be a tuple. Let L =3D length(A); then L is a positive inte= ger, 0, or infinity (countable), and A =3D (A_1, A_2, ..., A_L), and B= must be a natural number and belong to the ordered interval [1, L]. If= L =3D 0, the output is a placeholder "blank element"; else, if B does = not satisfy the aforementioned condition, then the function is undefine= d. Using the aforementioned notation, and letting Proj represent the pr= ojection function, Proj(A, B) =3D A_B; note that B =3D 1 will cause the= output of the first entry in the tuple, which is A_1. For any i, there= is no restriction on the typing/value of A_i so long as it is defined;= the type of A_i need not even match the type of A_j for i =3D/=3D j. S= ee also: {bai'ei}, {no'au}, {pi'ei}. Notice that the input is a single = tuple and an integer, it does not rely on anyou underlying stucture; th= is is markedly different from a the dot product of vectors, although by= establishing a basis and an underlying field, they can look quite simi= lar. =09Jargon: =09=09 =09Gloss Keywords: =09=09Word: projection operator, In Sense:=20 =09Place Keywords: New Data: =09Definition: =09=09mekso operator (binary): projection function; the Bth term/entry = ("element") of tuple A =09Notes: =09=09A must be a tuple. Let L =3D length(A); then L is a positive inte= ger, 0, or infinity (countable), and A =3D (A_1, A_2, ..., A_L), and B= must be a natural number and belong to the ordered interval [1, L]. If= L =3D 0, the output is a placeholder "blank element"; else, if B does = not satisfy the aforementioned condition, then the function is undefine= d. Using the aforementioned notation, and letting Proj represent the pr= ojection function, Proj(A, B) =3D A_B; note that B =3D 1 will cause the= output of the first entry in the tuple, which is A_1. For any i, there= is no restriction on the typing/value of A_i so long as it is defined;= the type of A_i need not even match the type of A_j for i =3D/=3D j. S= ee also: {bai'ei}, {no'au'au}, {pi'ei}. Notice that the input is a sing= le tuple and an integer, it does not rely on anyou underlying stucture;= this is markedly different from a the dot product of vectors, although= by establishing a basis and an underlying field, they can look quite s= imilar. =09Jargon: =09=09 =09Gloss Keywords: =09=09Word: projection operator, In Sense:=20 =09Place Keywords: You can go to to see it.