lojbo jufsisku
Lojban sentence search

Total: 5 result(s)
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.
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.
te'au
experimental cmavo iterated Cartesian product with self: A × A × ... × A, n times. Probably belongs to selma'o VUhU but, since it is iterated JOI, there is the case for that. First argument A is a set or similar object; second argument n is a nonnegative integer; the result is the cross-product of A with itself n times. Used as a shortcut for longer, arguably more preferable, constructions so that one can more closely say "R three" and mean R^3. Emphatically not equivalent to exponentiation; it only works on sets and similar objects. See also: te'a, pi'u, se'au.
zoi'ai
experimental cmavo non-mekso quote/name substitution for ordered collection of prescriptions, descriptions, definitions, etc. Delimited non-math/non-mekso quote (works like zoi in this respect). Treats the quote as a substitute for some formal collection of rules or mathematical description/definitions/notations; the exact meaning of the quote must be inferred as is the case with la or any quote; the quote is treated as a single block of text representative a single entity so described in only that case/context by the utterer; can be used to clarify the interpretation of text (convention specification; text need not be mathematical (in which case, it must be used in a meta-linguistic scope)) or as an operand of certain mathematical operators (or, more generally perhaps, bridi). Might be useful for quoting names as descriptors for arguments of operands. For example: orderings, metrics, bases, densities, analytic properties, conventions, etc. can all be more easily described by a moniker than by a formal mathematical description. See also: ju'au, se'au, mau'au.
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.