lojbo jufsisku
Lojban sentence search

Total: 1711 result(s)
fa'ai
experimental cmavo mathematical ordered n-ary operator: (pointwise) functional left composition; ° Inputs must be appropriate functions; outputs a function; follow by boi in order to include arguments (producing a number). a1 ° a2 °…° a_n = a1(a2(…(a_n(•))…)). Replaces all of the inputs with a (possibly stripped, as appropriate) tuple; for replacing a single argument in a multivariate function with a function (either evaluated or not), use (partial) (e)valuation.
fa'au
experimental cmavo mathematical unary operator: map notation Input is unary: a function f; the output is an ordered tuple: (the domain set of f, the codomain set of f, the image of f, the mapping rule of f (defined with a dummy variable which is taken to belong to the the domain set of f), the graph/plot (set of input-output pairs) of f). Might be useful for lambda calculus, etc. Equip the output with ma'o in order to use as a/the function. Extract a term in the tuple in order to use it directly.
fatri
gismu rafsi: fai x1 is distributed/allotted/allocated/shared among x2 with shares/portions x3; (x2/x3 fa'u). Also spread, shared out, apportioned; agentive distribution (= fairgau, fairzu'e). See also cmavo list fa'u, fendi, preja, katna, tcana.
fau'e
experimental cmavo iterated function left-composition with self: f∘f∘...∘f, n times. First argument must be a function(al) or some object f that can be left-composed with itself; second argument is a real number (usually nonnegative integer) n for which n compositions of f makes sense; the result is f left-composed with itself n times. This word is a shortcut for longer expressions. See also: fa'ai, se'au, te'a, fe'a.
finti
gismu rafsi: fin fi'i x1 invents/creates/composes/authors x2 for function/purpose x3 from existing elements/ideas x4. x1 is creative/inventive. See also cmavo list fi'e, ciska, pemci, zbasu, larcu, specific works of authorship, prosa, skina.
ga'u'au
experimental cmavo mekso n-ary operator: append contravariant (upper) indices to tensor Terminated by te'oi'oi. Takes ordered input (A, X_1, X_2, …, X_(n-1)), where A is a tensor and X_i is an index with an understood (or elsewhere defined) ordered domain. It appends/assigns X_i to be the ith contravariant index of A, which is usually designated as a superscript in the ith position to the right of A. See also: ni'a'au. It is probable that Einstein summation notation will be conventionally in effect.
ge'ai
experimental cmavo metasyntactic variable prenex Explicitly marks variables, e.g. ko'a ko'e, lerfu-strings, and/or brodV (must be converted into sumti using me'ei) as being metasyntactic: i.e. having no specific meaning or referent and merely used to demonstrate syntax or hypothetical scenarios. Automatically unassigns these variables from any previous assignment. e.g. (me'ei broda me'ei brode ko'a ko'e fo'a fo'e ge'ai). See ge'ei, ce'ai, ke'au, zo'u, da'o
gu'ai
experimental cmavo binary operator: left group action g.x a.b = (a,b), where a is the group element and b is an element of the set. The type/description/label/name may be subscripted or denoted by function notation, as might be the group to which it belongs and/or the set upon which it acts (typically, the label should denote in the order: group, set, descriptor). See also: ma'e'o, zi'a'o, ru'ei
jai'a
experimental cmavo grammatically converts LAhE to SE; semantically the result tags the x1 of the selbri as being LAhE the supplied x1. Can be converted to other than x1 with SE. Cf. jai in the TAG sense. Note that jai in the non-TAG sense is the same as jai'a tu'a. Example usage: lo tadni cu jai'a lu'o sruri lo dinju gi'e krixa <-> loi tadni cu sruri lo dinju gi'e jai'a lu'a krixa <-> loi tadni cu sruri lo dinju .ije lu'a lo go'i cu krixa
jai'i
experimental cmavo takes NU or LE NU, turns into sumtcita: clarifies the semantic NU-type of the current bridi. 'mi jai'i li'i klama lo zarci', 'jai'i li'i ku mi klama lo zarci', and 'mi klama lo zarci jai'i li'i' are all acceptable and equivalent. Implies '(zo'e) li'i mi klama lo zarci', but avoids wrapping the bridi in an abstraction that makes its sumti hard to access via le go'i etc. Tagged sumti, if present, fills the x2 of the NU; e.g. 'jai'i li'i do mi klama lo zarci' implies 'fe do li'i mi klama lo zarci'
ji'au
experimental cmavo attitudinal scope modifier: marks following attitudinal/UI-cluster as applying to the last lexical unit Part of a proposal to redefine attitudinals/UI-clauses as being inherently ambiguous in scope; placing ji'au before the UI-clause (e.g. ji'au ui) will restore and emphasize the original functionality of UI-clauses attaching to the last lexical unit. See i'au, toi'e, fu'e, fu'o. Closable with toi'o.
jimte
gismu rafsi: jit x1 is a limit/extreme/bound/border/[confinement] of x2 in property/domain x3. Restrain/constrain within limits (= jitri'u, jitygau, jityzu'e). See also cmavo list ji'e, traji, korbi, kuspe, rinju, bapli, curmi, fanta, jbini.
jinvi
gismu rafsi: jiv ji'i x1 thinks/opines x2 [opinion] (du'u) is true about subject/issue x3 on grounds x4. Words usable for epistemology typically have a du'u place. See also cmavo list pe'i, djuno, krici, ciksi, jijnu, nabmi, pensi, senpi, sidbo, birti, pinka.
ji'o'e
experimental cmavo connective: elliptical/generic/vague Like zo'e or co'e, but for connectives. The connectives referred to may be logical or non-logical; they take the form proper for the syntax/context (probably is best implemented using post-original CLL connective system modification such as the MAD proposal or the system developed by selpa'i); in standard original CLL usage, this would be the inter-tanru after-thought connective. Synonymous with but morphologically and phonotactically allowed version of .y'i.
kai'ei
experimental cmavo abstractor: x1 (x2, ...) are such that they satisfy [bridi], using bo'a/bo'e/etc for variables kai'ei is to kai'u what ka'ei is to ka. Uses bo'a/bo'e/bo'i/bo'o/bo'u (bo'ai for more variables) instead of ce'u (which may still be used for "next place").
ka'o'ai
experimental cmavo imaginary i (non-comma) This is literally a unit, a pure number that is treated as a scalar; it is what happens when considering C to be a field over C - ordered pairs/tuples for coordinates no longer make much sense. Thus, this number operates exactly as one might think i would/should operate: as a single number, without components. In certain bases, it can be used a pure digit (which simplifies some potential numeric strings, compared to the usage of ka'o therein). See also: ka'o