Received: from 173-13-139-235-sfba.hfc.comcastbusiness.net ([173.13.139.235]:55649 helo=jukni.digitalkingdom.org) by stodi.digitalkingdom.org with smtp (Exim 4.80.1) (envelope-from ) id 1Y1tyR-0002A4-AG; Fri, 19 Dec 2014 01:35:52 -0800 Received: by jukni.digitalkingdom.org (sSMTP sendmail emulation); Fri, 19 Dec 2014 01:35:50 -0800 From: "Apache" Date: Fri, 19 Dec 2014 01:35:50 -0800 To: webmaster@lojban.org, curtis289@att.net Subject: [jvsw] Definition Edited At Word se'au -- By krtisfranks Bcc: jbovlaste-admin@lojban.org Message-ID: <5493f176.JSRZg7CLOrxxC72I%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: 2.4 (++) X-Spam_score: 2.4 X-Spam_score_int: 24 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: (2.4 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.0 BAYES_40 BODY: Bayes spam probability is 20 to 40% [score: 0.2430] 1.0 RDNS_DYNAMIC Delivered to internal network by host with dynamic-looking rDNS In jbovlaste, the user krtisfranks has edited a definition of "se'au" in the language "English". Differences: 2,2c2,2 < =09=09mathematical quinary operator: left sequence notation/converter --- > =09=09mathematical quinary operator: left sequence notation/converter= - operator a, sequence b, in set c, under ordering d 5,5c5,5 < =09=09Produces the left application of the operation/function $a=3D$= =E2=80=A2 on sequence $b=3Db(y)$, the terms of which are functions eval= uated at (possibly dummy) values $y$ (multi-index), where each b(y) bel= ongs to set $c$ (at the values of which the function b is evaluated) ta= ken in order $d$ (rule prescription; note that the application is from = the left). The steps at which $y$'s are taken can be specified by $c$ o= r by taking complicated (evaluated) expressions $z(y)$ instead of $y$ a= s arguments of $b$. Output is in the format (for example: scalar, tenso= r, function, etc.) that the operation $a=3D=E2=80=A2$ yields. For Sigma= /series summation notation, $a=3D+$, for Pi multiplication notation $a= =3D*$, for functional power/iterated composition of functions $a=3D=C2= =B0$, for the Cartesian product of sets $a=3D=C3=97$ (preferred to "exp= onentiation of sets" notation like $A^n$). {mau'au} and {zai'ai} will b= e necessary for the proper use of this word. --- > =09=09Produces the left application of the operation/function $a=3D$= =E2=80=A2 on sequence $b=3Db(y)$, the terms of which are functions eval= uated at (possibly dummy) values $y$ (multi-index), where each b(y) bel= ongs to set $c$ (at the values of which the function b is evaluated) ta= ken in order $d$ (rule prescription; note that the application is from = the left). The steps at which $y$'s are taken can be specified by $c$ o= r by taking complicated (evaluated) expressions $z(y)$ instead of $y$ a= s arguments of $b$. Notice that $d$ affects both $y$ (or $z(y)$) direct= ly as well as $b$ (less directly) by being established on $c$. Output = is in the format (for example: scalar, tensor, function, etc.) that the= operation $a=3D=E2=80=A2$ yields. For Sigma/series summation notation,= $a=3D+$, for Pi multiplication notation $a=3D*$, for functional power/= iterated composition of functions $a=3D=C2=B0$, for the Cartesian produ= ct of sets $a=3D=C3=97$ (preferred to "exponentiation of sets" notation= like $A^n$). {mau'au} and {zai'ai} will be necessary for the proper us= e of this word (particularly for specifying $a$); $d$ will be specified= explicitly (possibly elsewhere) and/or via {zoi'ai}. Old Data: =09Definition: =09=09mathematical quinary operator: left sequence notation/converter =09Notes: =09=09Produces the left application of the operation/function $a=3D$=E2= =80=A2 on sequence $b=3Db(y)$, the terms of which are functions evaluat= ed at (possibly dummy) values $y$ (multi-index), where each b(y) belong= s to set $c$ (at the values of which the function b is evaluated) taken= in order $d$ (rule prescription; note that the application is from the= left). The steps at which $y$'s are taken can be specified by $c$ or b= y taking complicated (evaluated) expressions $z(y)$ instead of $y$ as a= rguments of $b$. Output is in the format (for example: scalar, tensor, = function, etc.) that the operation $a=3D=E2=80=A2$ yields. For Sigma/se= ries summation notation, $a=3D+$, for Pi multiplication notation $a=3D*= $, for functional power/iterated composition of functions $a=3D=C2=B0$,= for the Cartesian product of sets $a=3D=C3=97$ (preferred to "exponent= iation of sets" notation like $A^n$). {mau'au} and {zai'ai} will be nec= essary for the proper use of this word. =09Jargon: =09=09 =09Gloss Keywords: =09=09Word: iteration, In Sense: serial operator =09=09Word: sequence notation, In Sense:=20 =09=09Word: serial operator notation, In Sense:=20 =09=09Word: series notation, In Sense:=20 =09Place Keywords: New Data: =09Definition: =09=09mathematical quinary operator: left sequence notation/converter -= operator a, sequence b, in set c, under ordering d =09Notes: =09=09Produces the left application of the operation/function $a=3D$=E2= =80=A2 on sequence $b=3Db(y)$, the terms of which are functions evaluat= ed at (possibly dummy) values $y$ (multi-index), where each b(y) belong= s to set $c$ (at the values of which the function b is evaluated) taken= in order $d$ (rule prescription; note that the application is from the= left). The steps at which $y$'s are taken can be specified by $c$ or b= y taking complicated (evaluated) expressions $z(y)$ instead of $y$ as a= rguments of $b$. Notice that $d$ affects both $y$ (or $z(y)$) directly = as well as $b$ (less directly) by being established on $c$. Output is = in the format (for example: scalar, tensor, function, etc.) that the op= eration $a=3D=E2=80=A2$ yields. For Sigma/series summation notation, $a= =3D+$, for Pi multiplication notation $a=3D*$, for functional power/ite= rated composition of functions $a=3D=C2=B0$, for the Cartesian product = of sets $a=3D=C3=97$ (preferred to "exponentiation of sets" notation li= ke $A^n$). {mau'au} and {zai'ai} will be necessary for the proper use o= f this word (particularly for specifying $a$); $d$ will be specified ex= plicitly (possibly elsewhere) and/or via {zoi'ai}. =09Jargon: =09=09 =09Gloss Keywords: =09=09Word: iteration, In Sense: serial operator =09=09Word: sequence notation, In Sense:=20 =09=09Word: serial operator notation, In Sense:=20 =09=09Word: series notation, In Sense:=20 =09Place Keywords: You can go to to see it.