lojbo jufsisku
Lojban sentence search

Total: 3 result(s)
kei'au
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.
kei'ai
experimental cmavo mekso style converter: elementwise application of operator Prefixed to an operator/function that operates on numbers, thereby transforming it to a set operator (thus its arguments must be sets where before they were numbers), as defined in a given structure. Produces the set of all numbers that are given by some ordered pair of elements (the nth term of which belongs to the nth set specified) with the operator acting on them (per the rules of that operator). The set produced may include empty terms and/or infinity. Let "✦" represent the operator; then X_1 kei'ai ✦ X_2 boi X_3 boi X_4 = Set(x1✦x2✦x3✦x4: x_i in X_i). See also kei'au for a similar but different word.
mau'au
experimental cmavo mekso: conversion of operator/function to operand Must be followed by a function (meaning "f", not "f(x)" (which is a number)) or operator (such as "+"). Treats it formally and syntactically as a number so that it can be operated upon, such as by se'au or by a functional/operator (technical sense). Terminated by zai'ai; the pair essentially act as mathematical quotation marks. Also works on connectives and kei'i. Expressions may be complicated (such as with SE, NA, NAI, etc. modifying the string); perhaps one may even find a use for quoting relations (such as equality or element-hood) and/or some brivla or other cmavo. See also: kei'au.