lojbo jufsisku
Lojban sentence search

Total: 7 result(s)
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.
experimental cmavo (elidable) terminator of mathematical/formal quote with mau'au See also: mau'au.
experimental cmavo mekso (n+1)-ary operator: q-analog converter - the ath analog of b (quoted operator) applied to operands c, d, ... Quote operator b with mau'au (and terminate it). The result is the q-analog of that operator (defined according to context if necessary), where q=a, which is then applied to operands of b in order (as defined for b).
experimental cmavo mekso unary operator: the set of all fixed points of function a The output is an (unordered) set of all of the fixed/stationary/self-mapping points of the input function a; in other words, it the set of all x that are in the domain of a such that a(x) = x. Beware that a may have a larger range than intended (for example, e^x makes sense even for some matrix-valued x). Use mau'au for quoting a.
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.
experimental cmavo mekso operator, variable arity - algebraic structure order of X1; OR: order of/(size of) period of element X1 in algebraic structure X2 under operator/of type X3 If applied to an algebraic structure (such as a group) it gives the order thereof (which, for a group, is the cardinality of the underlying set). If applied to an element of an algebraic structure, one has the options to specify the structure in which its order is being considered and/or the operator with respect to which its order is being considered (for example, in a given ring, an elements additive order is usually not its multiplicative order), although either of these made remain vague and be inferred from context; order is the smallest non-negative number of applications of the operator needed to be applied (in composition) to the original element in order for it to result in the identity element of the structure (thus, order is not always finite or even defined). See also: mau'au, cu'a.
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.