From: "Apache" <apache@digitalkingdom.org>
Date: Fri, 03 Jul 2015 14:54:51 -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: <559704ab.XR+4cvNat4Q3RiUo%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_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; big operator: left sequence nota=
tion/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 defined as a function on index/=
argument/variable/parameter c, in set d, under ordering e
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 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. If $b$ is a constant (at least with respect to th=
e argument $y$ being ranged over), then the operator $a$ is taken being=
 applied to $b$ for a number of times equal to the cardinality of $c$ (=
and, technically, in the order specified by $d$). If $c$ is explicitly =
created via use of {ce'o}, then the order is from the first term uttere=
d to the last term uttered, as uttered; $d$ need not be specified (if i=
t is, it overrides the order of utterance). For Sigma/series summation =
notation ({si'i}), $a=3D+$, for Pi multiplication notation $a=3D*$, for=
 functional power/iterated composition of functions $a=3D=C2=B0$, for t=
he Cartesian product 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 use 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(c)$, the terms of which are functions evaluat=
ed at (possibly dummy) values $c$ (multi-index), where each c belongs t=
o set $d$ (at the values of which the function b is evaluated), operati=
on $a$ being applied thereto in order $e$ (rule prescription; specifies=
 order of $c$'s running through d; note that the application is from th=
e left). The steps at which $c$'s are taken can be specified by $d$ or =
by taking complicated (evaluated) expressions $z(c)$ instead of $c$ as =
arguments of $b$. Notice that $e$ affects both $c$ (or $z(c)$) directly=
 as well as $b$ (less directly) by being established on $d$.  Output is=
 in the format (for example: scalar, tensor, function, etc.) that the o=
peration $a=3D=E2=80=A2$ yields. If $b$ is a constant (at least with re=
spect to the arguments $c$ being ranged over), then the operator $a$ is=
 taken being applied to $b$ for a number of times equal to the cardinal=
ity of $d$ (and, technically, in the order specified by $e$). If $d$ is=
 explicitly created via use of {ce'o}, then the order is from the first=
 term uttered to the last term uttered, as uttered; $e$ need not be spe=
cified (if it is, it overrides the order of utterance). For Sigma/serie=
s summation notation ({si'i}), $a=3D+$, for Pi multiplication notation =
$a=3D*$, for functional power/iterated composition of functions $a=3D=
=E2=88=98$, for the Cartesian product of sets $a=3D=C3=97$ (preferred t=
o "exponentiation of sets" notation like $A^n$). {mau'au} and {zai'ai} =
will be necessary for the proper use of this word (particularly for spe=
cifying $a$ and $e$); $e$ will be specified explicitly (possibly elsewh=
ere) and/or via {zoi'ai}. See also: {ma'o'e}.


Old 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. If $b$ is a constant (at least with respect to the a=
rgument $y$ being ranged over), then the operator $a$ is taken being ap=
plied to $b$ for a number of times equal to the cardinality of $c$ (and=
, technically, in the order specified by $d$). If $c$ is explicitly cre=
ated via use of {ce'o}, then the order is from the first term uttered t=
o the last term uttered, as uttered; $d$ need not be specified (if it i=
s, it overrides the order of utterance). For Sigma/series summation not=
ation ({si'i}), $a=3D+$, for Pi multiplication notation $a=3D*$, for fu=
nctional power/iterated composition of functions $a=3D=C2=B0$, for the =
Cartesian product of sets $a=3D=C3=97$ (preferred to "exponentiation of=
 sets" notation like $A^n$). {mau'au} and {zai'ai} will be necessary fo=
r the proper use of this word (particularly for specifying $a$); $d$ wi=
ll be specified explicitly (possibly elsewhere) and/or via {zoi'ai}. Se=
e also: {ma'o'e}.

=09Jargon:
=09=09

=09Gloss Keywords:
=09=09Word: big operator, In Sense:=20
=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 defined as a function on index/ar=
gument/variable/parameter c, in set d, under ordering e

=09Notes:
=09=09Produces the left application of the operation/function $a=3D=E2=
=80=A2$ on sequence $b(c)$, the terms of which are functions evaluated =
at (possibly dummy) values $c$ (multi-index), where each c belongs to s=
et $d$ (at the values of which the function b is evaluated), operation =
$a$ being applied thereto in order $e$ (rule prescription; specifies or=
der of $c$'s running through d; note that the application is from the l=
eft). The steps at which $c$'s are taken can be specified by $d$ or by =
taking complicated (evaluated) expressions $z(c)$ instead of $c$ as arg=
uments of $b$. Notice that $e$ affects both $c$ (or $z(c)$) directly as=
 well as $b$ (less directly) by being established on $d$.  Output is in=
 the format (for example: scalar, tensor, function, etc.) that the oper=
ation $a=3D=E2=80=A2$ yields. If $b$ is a constant (at least with respe=
ct to the arguments $c$ being ranged over), then the operator $a$ is ta=
ken being applied to $b$ for a number of times equal to the cardinality=
 of $d$ (and, technically, in the order specified by $e$). If $d$ is ex=
plicitly created via use of {ce'o}, then the order is from the first te=
rm uttered to the last term uttered, as uttered; $e$ need not be specif=
ied (if it is, it overrides the order of utterance). For Sigma/series s=
ummation notation ({si'i}), $a=3D+$, for Pi multiplication notation $a=
=3D*$, for functional power/iterated composition of functions $a=3D=E2=
=88=98$, for the Cartesian product of sets $a=3D=C3=97$ (preferred to "=
exponentiation of sets" notation like $A^n$). {mau'au} and {zai'ai} wil=
l be necessary for the proper use of this word (particularly for specif=
ying $a$ and $e$); $e$ will be specified explicitly (possibly elsewhere=
) and/or via {zoi'ai}. See also: {ma'o'e}.

=09Jargon:
=09=09

=09Gloss Keywords:
=09=09Word: big operator, In Sense:=20
=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 <http://jbovlaste.lojban.org/dict/se'au> to see it.