lojbo jufsisku
Lojban sentence search

Total: 4 result(s)
cmavo convert letteral string or other mathematical expression (mex) operand to mex operator.
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.
gismu rafsi: ma'o x1 is a structure word of grammatical class x2, with meaning/function x3 in usage (language) x4. x4 may be a specific usage (with an embedded language place) or a massified language description; x3 and x4 may be merely an example of cmavo usage or refer to an actual expression; cmavo list, if physical object (= (loi) ma'oste); referring to the mental construct (e.g. propose adding a new cmavo to the cmavo list = ma'orpoi, ma'orselcmi, ma'orselste). See also gismu, lujvo, gerna, smuni, valsi.
experimental cmavo mekso operator: finite result set derived from/on set A with/due to operator/function B under ordering of application C Equivalent to: lo'i li zy du ca'e li pe'o se'au mau'au B zai'ai vei ma'o xy boi ny ve'o boi tau sy boi C ku poi ke'a cmaci xanri zi'e poi ke'a mleca li ci'i zo'u tau sy klesi A. Acts on an operator/function (b) and produces all finite results of that operator being used on any allowable number of elements of the set A without repetition within any given application. The result must be defined (and finite, obviously). Application of the operator on nothing (the elements of the empty set) is generically allowed and follows convention (for example, an empty sum may evaluate to 0). Differs from kei'ai. Use mau'au and zai'ai for quoting B. C will be specified explicitly (possibly elsewhere) and/or via zoi'ai.