Received: from 173-13-139-235-sfba.hfc.comcastbusiness.net ([173.13.139.235]:43386 helo=jukni.digitalkingdom.org) by stodi.digitalkingdom.org with smtp (Exim 4.85) (envelope-from ) id 1ZB7v0-00014m-Rj; Fri, 03 Jul 2015 13:50:48 -0700 Received: by jukni.digitalkingdom.org (sSMTP sendmail emulation); Fri, 03 Jul 2015 13:50:42 -0700 From: "Apache" Date: Fri, 03 Jul 2015 13:50:42 -0700 To: webmaster@lojban.org, curtis289@att.net Subject: [jvsw] Definition Edited At Word se'au -- By krtisfranks Bcc: jbovlaste-admin@lojban.org Message-ID: <5596f5a2.c9XKyZY/bwNI9hlZ%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 the administrator of that system 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.3965] 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= - operator a, sequence b, in set c, under ordering d --- > =09=09mathematical quinary operator; big operator: left sequence nota= tion/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$. 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}. See also: {ma'o'e= }. --- > =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 eva= luated at (possibly dummy) values $y$ (multi-index), where each b(y) be= longs to set $c$ (at the values of which the function b is evaluated), = operation $a$ being applied thereto in order $d$ (rule prescription; sp= ecifies order of &y&'s; note that the application is from the left). Th= e steps at which $y$'s are taken can be specified by $c$ or by taking c= omplicated (evaluated) expressions $z(y)$ instead of $y$ as arguments o= f $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 for= mat (for example: scalar, tensor, function, etc.) that the operation $a= =3D=E2=80=A2$ yields. For Sigma/series summation notation ({si'i}), $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}. See also: {ma'o'e}. 14a15,15 \n> =09=09Word: big operator, In Sense:=20 Old 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}. See also: {ma'o'e}. =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; big operator: left sequence notati= on/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 evalua= ted at (possibly dummy) values $y$ (multi-index), where each b(y) belon= gs to set $c$ (at the values of which the function b is evaluated), ope= ration $a$ being applied thereto in order $d$ (rule prescription; speci= fies order of &y&'s; note that the application is from the left). The s= teps at which $y$'s are taken can be specified by $c$ or by taking comp= licated (evaluated) expressions $z(y)$ instead of $y$ as arguments 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 operation $a=3D= =E2=80=A2$ yields. For Sigma/series summation notation ({si'i}), $a=3D+= $, for Pi multiplication notation $a=3D*$, for functional power/iterate= d composition of functions $a=3D=C2=B0$, for the Cartesian product of s= ets $a=3D=C3=97$ (preferred to "exponentiation of sets" notation like $= A^n$). {mau'au} and {zai'ai} will be necessary for the proper use of th= is word (particularly for specifying $a$); $d$ will be specified explic= itly (possibly elsewhere) and/or via {zoi'ai}. See also: {ma'o'e}. =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 =09=09Word: big operator, In Sense:=20 =09Place Keywords: You can go to to see it.