On gloss:
-
ny
- letteral for n.
In definition:
- cu'o
- convert number to probability selbri; event x1 has probability (n) of occurring under cond. x2.
- da'a
- digit/number: all except n; all but n; default 1.
- fe'i
- n-ary mathematical operator: divided by; division operator; [(((a / b) / c) / ...)].
- fi'u
- digit/number: fraction slash; default "/n" => 1/n, "n/" => n/1, or "/" alone => golden ratio.
- fu'u
- n-ary mathematical operator: elliptical/unspecified mathematical expression (mex) operator.
- mei
- convert number to cardinality selbri; x1 is a mass formed from a set x2 of n members, one or more of which is/are x3, measured relative to the set x4.
- moi
- convert number to ordinal selbri; x1 is (n)th member of set x2 ordered by rule x3.
- pi'a
- n-ary mathematical operator: operands are vectors to be treated as matrix rows.
- pi'i
- n-ary mathematical operator: times; multiplication operator; [(((a * b) * c) * ...)].
- sa'i
- n-ary mathematical operator: operands are vectors to be treated as matrix columns.
- si'e
- convert number to portion selbri; x1 is an (n)th portion of mass/totality x2; (cf. gunma).
- su'i
- n-ary mathematical operator: plus; addition operator; [(((a + b) + c) + ...)].
- va'e
- convert number to scalar selbri; x1 is at (n)th position on scale x2.
- vu'u
- n-ary mathematical operator: minus; subtraction operator; [(((a - b) - c) - ...)].
- selbrivla
- x1 is a lexically defined predicate word (predicate particles included), signifying relation x2 (n-ary property) in language x3
- slakypaucibmei
- m1 is trimoraic/is the mass of three morae formed from set of mora m2 whose n member(s) are m3=p1.
- slakypaupavmei
- m1 is monomoraic/is the mass of one morae formed from set of morae m2 whose n member(s) are m3=p1.
- slakypaurelmei
- m1 is dimoraic/is the mass of two morae formed from set of morae m2 whose n member(s) are m3=p1.
- terbrisu'a
- x1 is the place structure of predicate relation x2 (n-ary ka, me'ei, or la'e zo)
- tranytrano
- t1 is a quantity of/contains/is made of nitrogen [N].
- vlali'ifa'o
- x1 (se'e?) is a line terminator (eg \n, CRLF, ...) of file(s) x2
- brivo
- x1 is a predicate word defined as such by its word shape, signifying relation x2 (n-ary property) in language x3
- facni
- x1 is an n-ary operator/map which is distributive/linear/homomorphic in or over or from space/structure x2, mapping to space or structure x3, thereby producing a new space/structure x4 which is the 'union' of x2 and x3 endowed with x1; x1 distributes over/through all of the operators of x2.
- bei'u'i (exp!)
- unary mekso operator: nth Bernoulli number Bn of the second kind (B1 = +1/2 = >0).
- ci'ai'u (exp!)
- Mekso unary or binary operator: n-set or integer interval; in unary form, it maps a nonnegative integer X1 = n to the set \1, \dots , n\ (fully, officially, and precisely: the intersection of (a) the set of exactly all positive integers with (b) the closed ordered interval [1, n] such that n \geq 1; see notes for other n); in binary form, it maps ordered inputs (X1, X= (m, n) to the intersection of (a) the set of exactly all integers with (b) the closed ordered interval [m, n].
- ci'au'i (exp!)
- mekso at-most-4-ary operator: integer lattice ball; the set of all points belonging to the intersection of Zn with the closure of the ball that is centered on X1 and has radius X2 in metric X3, where Z is the set of all integers and where, for any set A and non-negative integer n,
An is the set of all n-tuples such that each coordinate/entry/term belongs to A, and where the dimensionality n = X4..
- cu'oi'e (exp!)
- convert number to statistical odds selbri; event x1 (nu) has statistical odds (n) of occurring (versus not occuring) under conditions x2.
- de'ei (exp!)
- on (n)-th day from a given point (by default from today)
- de'i'e (exp!)
- in the year N.
- du'a'e (exp!)
- mekso n-ary ordered operator: structure creator/ordered tuple, 'endow'; the structure formed by underlying set X1 (as) endowed with element, order, quoted operator, etc. X2, X3, ...
- fa'ai (exp!)
- mathematical ordered n-ary operator: (pointwise) functional left composition; X1 \circ X.
- fau'e (exp!)
- iterated function left-composition with self: f∘f∘...∘f, n times.
- fu'a'ai (exp!)
- digit/number: first Foias' constant; the unique value of x1 such that xn
-> ∞ as n -> ∞ for xn+1 = (1 + (1/( xn )))^n; such x1 = 1.187…
- ga'u'au (exp!)
- mekso n-ary operator: append contravariant (upper) indices to tensor
- gei'au (exp!)
- mekso 7-ary operator: for input (X1 = z, X2 = (ai)= (bj)= p, X5 = q, X6 = h1, X= h2), this word/function outputs/yields \sumn=0^\infty (((\prodi = 1p (ne'o'o(ai,n,1,h= 1q (ne'o'o(bj,n,1,h; by default, X6 = 1 = X7 unless explicitly specified otherwise.
- ji'i'u (exp!)
- mekso, at-most-5-ary operator: a rounding function; ordered input list is (x,n,t,m,b) and the output is sgn(x) bt roundn (b(-t) abs(x)), with rounding preference n and where the fractional part of b(-t) abs(x) being equal to 1/2 causes the roundn ( ) function to map b(-t) abs(x) to the nearest integer of form 2Z+m, for base b (determined by context if not explicitly input) and some integer Z (determined by context).
- joi'i (exp!)
- mekso string operator (n-ary): formal right-concatenation; X1 + X, where Xi is a string/word/text/character/letteral/lerfu/quoted utterance (quote appropriately iff necessary; preserve and be careful about the use-vs.-mention distinction) for all i.
- ka'oi (exp!)
- x1 (ka) is obtained from x2 (ka) by uncurrying the first N places
- ka'oi'i (exp!)
- convert bridi into n-ary property claim: xn is such that it fills the n-th occurrence of ce'u in [bridi].
- ke'u'i
- accepts number (n) after: repeat last sumti up to n times
- ku'au'a (exp!)
- mekso (n+1)-ary operator: q-analog converter - the ath analog of b (quoted operator) applied to operands c, d, ...
- mai'u'e (exp!)
- mekso unary operator: for permutation X1 as input, the output is (-1)^N(X1), where N(s) is the number of inversions in permutation s.
- mai'u'ei (exp!)
- mekso unary operator: Levi-Civita symbol; for input n-tuple (a1, a ... , an), where n is a strictly positive integer, the output is \varepsilona, where \varepsilon is the Levi-Civita symbol under the convention of mapping (1, 2, ..., n) to 1.
- me'ei'o (exp!)
- mekso n-ary operator: interleave sequences
- moi'u (exp!)
- x1 is (n)th member of alphabet/set x2 ordered by rule x3, where the count begins at x4.
- ni'a'au (exp!)
- mekso n-ary operator: append covariant (lower) indices to tensor
- ni'e'ei (exp!)
- digit/number: Niven's greatest-exponent prime factorization constant
lim(n->∞) (avg
- pau'au (exp!)
- ternary mekso operator: p-adic valuation; outputs (positive) infinity if x1 = 0 and, else, outputs sup(Set(k: k is a nonnegative integer, and ((1 - x3)x divides x1)), where pn is the nth prime (such that p1 = 2).
- pi'u'e (exp!)
- mekso n-ary operator: generate ordered tuple/list from inputs; pi'u'e(x1, x= (x1, x, pi'u'e(x1, x= (x1, x, etc.
- po'i'ei (exp!)
- n-ary mekso operator: for an input of ordered list of ordered pairs ((X1, Y, it outputs formal generalized rational function (x - X1)^Y in the adjoined indeterminate (here: x).
- ru'ei (exp!)
- n-ary operator: n-ary magma/group/ring operator a*b = ab`
- sau'i (exp!)
- mekso n-ary operator: reciprocal of the sum of the reciprocal of each of X1, X2, ..., Xn (for any natural number n); 1/((1/X1) + (1/X.
- se'ai'e (exp!)
- (n, 1, 2, \dots, n-2, n - 1)st conversion.
- se'au'e (exp!)
- (2, 3, \dots, n-1, n, 1)st conversion.
- se'oi'oi
- Conversion: Switch n and x1 in MOI (or MOI*) cmavo so that the submitted value (previous x1) outputs the number(s) (previous n) associated with it.
- si'oi'e (exp!)
- n-ary mekso operator: Logistical growth/cumulative function, sigmoid function; (X3 / (1 + e^(-X.
- so'e'u (exp!)
- digit/number: n (default: 1 or 1/2 atomic units as the case may be) more than half; barely a majority; a slight majority.
- su'i'o (exp!)
- mekso unary or binary operator: ordered inputs (n, b) where n and b are nonnegative integers and b > 1; output is the ultimate digital root of n in base-b.
- te'au
- iterated Cartesian product with self: A × A × ... × A, n times.
- te'oi'i (exp!)
- mekso ordered/non-commutative n-ary operator: tensor product/exterior product (of tensors); letting "@" denote the tensor product, A1 @ A2 @...@ An .
- ti'u'a (exp!)
- at N o'clock; at the hour N of the day.
- ti'u'e (exp!)
- at the minute N of the hour.
- ti'u'i (exp!)
- at the second N of the minute.
- va'ei (exp!)
- converts number to scalar tag; specifies the value on fuzzy logic scale; to the degree (n) on scale ...
- xo'ei (exp!)
- unary mekso operator: produces a string of n consecutive "xo'e"'s, treated as digits (concatenated into a single string of digits)
- xoi'ei'a
- Toggles grammar so that every mention of a number n is interpreted as "at least n".
- ze'e'a (exp!)
- n-Merge Conversion: placed immediately before a selbri, merges x2 and all xa places.
- ze'e'au (exp!)
- n-Merge Conversion: placed immediately before a selbri, merges all xa places.
- ze'e'e (exp!)
- n-Merge Conversion: placed immediately before a selbri, merges x5 and all xa places.
- ze'e'i (exp!)
- n-Merge Conversion: placed immediately before a selbri, merges x1 and all xa places.
- ze'e'o (exp!)
- n-Merge Conversion: placed immediately before a selbri, merges x4 and all xa places.
- ze'e'u (exp!)
- n-Merge Conversion: placed immediately before a selbri, merges x3 and all xa places.
- zei'o (exp!)
- Delete all sumti slots of the immediately preceding word which are not explicitly filled excepting the first n (specified by subscript; contextless default: n=0).
- emna
- x1 (n-ary property) is applied to sumti x2, x3, ...
- gravnutnoia
- x1 is Newton's constant of universal gravitation/G/big G [approximately equal to: 6.67×10(−11) N·(m/kg)2 ] expressed in units x2 (default: unitless/dimensionless and equal to 1) in paradigm/system/metaphysics/universe x3 (default: this, our actual, physical universe)
- kaunmei
- x1 (collection, body, set, mass, tuple, n-some, etc.) is x2 (li; default: 1) indivisible/atomic/elementary/basic discrete entities (or particles) of type x3 in composition/content, by standard x4; the count of instances of x3 in x1 is x2 by standard x4.
- setxeve
- x1 (predicate, relation, function, set of n-tuples) is the converse/conversion/complement/transpose/commutation/functional-'permutation' of x2 (same typing as x1), as defined on set/object/space/graph x4, with argument/input slots permuted via function/operator/marker/permutation/(group) action x3.
In notes:
- ci'ima'u (comp!)
- number: uncountably infinite of some sort or infinite in the sense of satisfying the Generalized Continuum Hypothesis.
- eiksyspespe
- x1 is a spouse of x2's former spouse by law/custom/standard x3.
- fancysuksa
- function f1 is discontinuous/abrupt/sharply changes locally (in output) on/at s2 (set), with abruptness of type x3 (default: 1)
- jorny'utka
- x1 is joined/connected to/with something which is joined/connected to/with something which ... which is joined/connected to/with something which is joined/connected to/with x2 via intermediate things/steps x3 (ce'o), with respective points/loci of (con)juncture x4 (ce'o).
- ki'irgrafu
- x1 is a relation space formed from elements/nodes in set x2 and relationship x3 which connects them.
- pavysmi
- x1 is the one(-like) element/multiplicative identity of structure/ring x2; often is denoted by
' 1R ' or ' IR ' or by (when context is obvious) '1' or 'I', for structure/ring R (given by x2).
- rirny'utka'au
- x1 is direct ancestor/mentorial-ancestor of x2 of order x3 (li; nonnegative integer) in graph/network of ancestry (family tree) x4 (defaults to maximal option), where x3 is the smallest possible number which is so constrained; x1 is the x3th-great-grandparent of x2.
- smisi'u
- The members of x1=simx1 (set) resemble one another in property x2=simx2.
- dutso
- x1 is clockwise/right-turn-direction of[/to] x2 along/following track x3 [path] in frame of reference x4 (where the axis is within the region defined by the track as the boundary, as viewed from and defined by view(er) x4; see notes); x1 is locally to the right of x2, according to x4, constrained along x3; x1 is along a right turn from x2 along path x3, as viewed in frame x4.
- lucpa
- x1 (person(s)) is/are adopted by x2 (individual, family, tribe/clan, community, team, institution, etc.) into the latter's overarching family/clan/tribe/community/team/institution/etc. x4 in(to) role/relation x3 or an analog thereof via means/law/norm/socio-cultural or other mechanism x5; x2 adopts x1 into x2's family11.
- paxra
- x1 is a cross-section (substance viewed cross-sectionally) of object x2 made from perspective/side/orientation/along (and perpendicular to) axis
x3 (this determines the shape) and made in hyperplane/at depth/to contain/consisting of particular slice x4 (this determines the size and content), of dimensionality x5 [li; integer greater than -2, less than or equal to the dimensionality of x2]; x1 is the result and arranged content of the intersection of x2 with an (x5) -dimensional hyperplane that is perpendicular to axis x3 and along it such that it has a depth (approximately x4) in x2 that allows it to contain a particular slice (of) x4
- zucna
- x1 is counterclockwise/left-turn-direction of[/to] x2 along/following track x3 [path] in frame of reference x4 (where the axis is within the region defined by the track as the boundary, as viewed from and defined by view(er) x4; see notes); x1 is locally to the left of x2, according to x4, constrained along x3; x1 is along a left turn from x2 along path x3, as viewed in frame x4.
- bai'i'i (exp!)
- mekso operator: in ordered tuple/list/vector/sequence X1, replace the X2th entry with term X3 of appropriate type, and leave all other entries untouched (optional: where the index for the very first/leading/header entry is X4).
- bi'ei (exp!)
- number/digit: 2(2×5/3) = 8×(2(1/3)).
- bi'oi'au (exp!)
- digit/number: interval/range indicator for significant digits (determined by lesser endpoint).
- ca'o'e (exp!)
- mekso 4-nary operator: spherical harmonics on colatitudinal/polar angle a and azimuthal/longitudinal angle b of unassociated order c and associated order d.
- ce'ei'oi
- BIhI argument modifier: indicates dimensionality/length of tuple
- cu'au'ei (exp!)
- mekso binary/unary operator:
multinomial coefficient/binomial coefficient/choose
- di'ei'o'au (exp!)
- mathematical ternary operator: Dirichlet convolution (a×b)(c)
- fau'i (exp!)
- mekso ternary operator: inverse function of input function X1 with respect to its input X2, taken on branch or restricted domain X3 ("domain" being of X1).
- fe'ei (exp!)
- binary mekso operator: divided by (fraction): a/(b...)
- fi'au
- mekso operator: continued fraction, Kettenbruch notation; for ordered input (X1, X, where: X1 is an ordered pair of functions and X2 is a free or dummy variable/input/index which ranges through set X3 in order(ing) X4, the result is K(X for Kettenbruch notation K.
- ga'ai (exp!)
- unary mekso operator: Lorentz-Einstein gamma factor +1/((1-(|X|2)) for input X.
- ga'au (exp!)
- digit/number: Euler–Mascheroni constant, usually denoted by lowercase gamma (γ); approximately 0.5772156649 (in decimal).
- go'ai (exp!)
- last bridi (with its modifiers)
- ji'e'ai (exp!)
- mekso unary operator: determinant, det(A)
- ju'au (exp!)
- semi-mathematical binary operator: named number base operator/interpreter
- ka'ei (exp!)
- abstractor: predicate abstractor. x1 is the predicate expressed by [bridi], using bo'a, bo'e, etc for variables.
- kei'ai (exp!)
- mekso style converter: elementwise application of operator
- ko'ai (exp!)
- Creates a predicate abstraction sumti out of a full bridi clause, binding all the necessary lambda variables to the ko'a-ko'u pronoun series.
- ku'ai'i (exp!)
- empty/vacuous selbri
- mai'e'e (exp!)
- digit/number: Meissel-Mertens constant M ≈ 0.2614972128476427837554268386086958590516…
- mi'i'au (exp!)
- digit/number: interval/range indicator for significant digits (determined by midpoint).
- mu'au'oi (exp!)
- Discursive: resuming/continuing example - start new example
- mu'i'ai (exp!)
- digit/number: Hafner-Sarnak-McCurley coprime determinants limiting probability constant; h ≈ 0.3532363719…
- ni'e'oi (exp!)
- digit/number: Niven's smallest-exponent prime factorization constant c = zeta(3/2)/zeta(3) ≈ 2.1732543125195541382370898404…
- pei'e'a (exp!)
- at-most-3-ary mekso operator: "integer exponent" for X1 divided by X2 in algebraic structure X3
- pi'au'e (exp!)
- mekso ternary operator: extract digit from number; X2nd macrodigit/term of number/tuple X1 when X1 is expressed in base/basis X3.
- pi'ei'au (exp!)
- mathematical ternary operator: not-greater-prime-counting function
- rai'i (exp!)
- mekso (2 or 3)-ary operator: maximum/minimum/extreme element; ordered list of extreme elements of the set underlying ordered set/structure X1 in direction X2 of list length X3 (default: 1)
- se'au (exp!)
- mathematical quinary operator; big operator: left sequence notation/converter - operator a, sequence b defined as a function on index/argument/variable/parameter c, in set d, under ordering e
- sei'au
- terbri editor: passes the terbri value through the quoted function so that the sumti that fills it really is filling the output of the function
- so'i'a (exp!)
- digit/number: slightly less than a minimal-majority; the maximal-minority.
- su'i'e (exp!)
- mekso unary operator: digital addition.
- tai'e'i (exp!)
- mekso unary operator: basic Schlafli symbol composer (defined only on ordered lists)
- ta'u'i (exp!)
- Copy and paste the overall seltau of immediately preceding sumti at this location.
- vei'e (exp!)
- mekso binary operator – quotient from integer-division: sgn(X1) sgn(X2) ((abs(X1) - (abs(X1) \% X.
- vei'u (exp!)
- binary mekso operator: mod(ulus)/remainder; X1 \% X2, \,\,\, X1 (mod(X2)).
- ve'oi (exp!)
- Close all open mathematical brackets.
- xa'ei'o (exp!)
- binary mekso operator: Let the inputs X1 and X2 be sets in the same universal set O; then the result of this operator applied to them is X1^c
\cup X, where for any A \subseteq O, Ac = O \setminus A.
- xau'o'o
- mekso convention cancellation
- xo'au (exp!)
- pro-numeral: the most-recently mentioned full/complete numerical or mathematical string/expression.
- zau'u (exp!)
- digit/number: arbitrarily large/great/increased/many (finite but as big as desired/allowed).
- ze'ai'au
- unary mekso operator: reverse ordered list/tuple X1.
- ze'ai'e (exp!)
- selbri conversion: permute all terbri so as to be exactly backward.
- ze'au'e (exp!)
- last-th conversion: switches the last terbri with the first one.
- cnanfadi
- x1 (li; number/quantity) is the weighted quasi-arithmetic mean/generalized f-mean of/on data x2 (completely specified ordered multiset/list) using function x3 (defaults according to the notes; if it is an extended-real number, then it has a particular interpretation according to the Notes) with weights x4 (completely specified ordered multiset/list with same cardinality/length as x2; defaults according to Notes).
- cnanlagau
- x1 is the generalized arithmetic-geometric mean of the elements of the 2-element set x2 (set; cardinality must be 2) of order x3 (either single extended-real number xor an unordered pair/2-element set of extended-real numbers).
- cnanlime
- x1 is the generalized weighted Lehmer mean of data x2 (completely specified ordered multiset/list of numbers) of Lehmer order x3 (either a single extended-real number xor an ordered pair of two extended-real numbers) with weights x4 (completely specified ordered multiset/list of numbers with the same cardinality as x2; defaults according to the Notes).
- cplancu
- x1 (person(s)) is/are adopted by x2 (individual, family, tribe/clan, community, team, institution, etc.) into the latter's overarching family/clan/tribe/community/team/institution/etc. x4 in(to) role/relation x3 or an analog thereof via means/law/norm/socio-cultural or other mechanism x5; x2 adopts x1 into x2's family11.
- cpolinomi'a
- x1 is a formal polynomial with coefficients x2 (ordered list) of degree x3 (li; nonnegative integer) over structure/ring x4 (to which coefficients x2 all belong) and in indeterminant x5.
- daigno
- x1 (ordered list) is a sampling of entries of matrix/tensor x2 in which exactly one entry is sampled from each row and/or column (etc.) between entries x3 (list; default: the largest 'square'/'hypercubic' sampling possible in the entire tensor starting with the first entry, see notes) inclusively following selection procedure/rule/function/order x4 (default: diagonally, see notes), where the tensor/matrix is expressed in basis/under conditions x5
- endi
- x1 (digit string/byte, storage system, convention) has endianness x2 ("ce'o" sequence of numbers (li); description (ka?)); x1 is x2-endian.
- flaukse
- x1 is the vector flux (flow) of quantity/substance (count) x2 through (geometric/imaginary) hypersurface/embedded manifold x3 per unit hyperarea per unit time.
- grafnseljimcnkipliiu
- x1 is a 'quipyew' tree graph with special node x2, on nodes x3 (set of points; includes x2), with edges x4 (set of ordered pairs of nodes), and with other properties x5.
- jorlge
- x1 is the result of applying logical connective/conjunction x2 to the terms of the ordered list x3 in the order given, in system x4
- jvencuio
- x1 is an eventual/tail(-end) x2 of x3; x3 eventually is/has/is characterized by x2(/-ic/ness)
- jvingapoi
- x1 (contestant) comes in x2th (integer; typically positive but no more than the length/cardinality of x4; lesser values represent better performance) place in contest x3 against opponents x4 (complete list (not mecessarily ordered) or set of all qualifying competitors); x1 has rank x2 in contest/conpetition/game/tournament/campaign x3.
- karncau
- x1=c1=k1 is separate from / not with x2=c2=k2 in state/condition/enterprise x3=k3; x1 is individual / alone / separate.
- klojere
- x1 (set/space) is closed under operator/relation x2; x2 has closure in x1.
- tamseingu
- Target node x1 and primary subject node x4 belong to the same (single) strictly-directed, connected tree graph/network/hierarchy or are related by relation scheme x5 such that x1 has coordinates (x2, x and x4 has coordinates (0, 0) according to the labelling scheme which is described in the notes hereof.
- tcaudu
- x1 is the formatted address for something - (with format) starting with x2, which is an address/locality/administrative subunit/region which belongs to slightly broader address/locality/administrative subunit/region x3, which in turn itself belongs to a slightly broader address/locality/administrative subunit/region x4, \dots (etc.).
- tseingu
- x1 (node in a tree graph) and x2 (node in the same tree graph) have an essentially unique most recent (graph-nearest) common ancestor node A such that x3 [nonnegative integer; li] is the minimum element of the set consisting only of d(A, x1) and of d(A, x2), and such that x4 [integer; li] is d(A, x1) - d(A, x2), where d is the graph geodesic distance (defined to be infinite if nodes are not connected in the correct direction).
- utka
- x1 and x2 are path-linked by binary predicate x3 (ka) via intermediate steps x4 (ce'o; (ordered) list).
- zdeltakronekre
- x1 is a Kronecker delta function defined on structure x2 which evaluates to one for any argument belonging to subset x3 and which evaluates to zero otherwise
- izyng
- Ising
- cia'o'e
- mekso 4-nary operator: spherical harmonics on colatitudinal/polar angle a and azimuthal/longitudinal angle b of unassociated order c and associated order d.