The Logical Language Group Online Dictionary Query |
There are specific tools that make searching this database easier:
la sutysisku dictionary, an offline enabled web app
la vlasisku search engine for the Lojban dictionary
From Lojban to English :
Word: se'au [jbovlaste] Type: experimental cmavo (YOU RISK BEING MISUNDERSTOOD IF YOU USE THIS WORD) Gloss Word: big operator Gloss Word: iteration in the sense of "serial operator" Gloss Word: sequence notation Gloss Word: serial operator notation Gloss Word: series notation selma'o: VUhU Definition: mathematical quinary operator; big operator: left sequence notation/converter - operator a, sequence b defined as a function on index/argument/variable/parameter c, in set d, under ordering e Notes: Produces the left application of the operation/function $a=•$ on sequence $b(c)$, the terms of which are functions evaluated at (possibly dummy) values $c$ (multi-index), where each c belongs to set $d$ (at the values of which the function b is evaluated), operation $a$ being applied thereto in order $e$ (rule prescription; specifies order of $c$'s running through d; note that the application is from the 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 operation $a=•$ yields. If $b$ is a constant (at least with respect 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 cardinality 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 specified (if it is, it overrides the order of utterance). For Sigma/series summation notation (si'i), $a=+$, for Pi multiplication notation $a=*$, for functional power/iterated composition of functions $a=∘$, for the Cartesian product of sets $a=×$ (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$ and $e$); $e$ will be specified explicitly (possibly elsewhere) and/or via zoi'ai. See also: ma'o'e.