a lojban dictionary editing system

Get A Printable Dictionary
Search Best Words
Recent Changes
How You Can Help
valsi - All
valsi - Preferred Only
natlang - All
natlang - Preferred Only
XML Export
user Listing
Report Bugs
Admin Request
Create Account
Dictionary record
Back to the main valsi listing.
valsi rai'i
type experimental cmavo
creator krtisfranks
time entered Wed Apr 6 16:46:01 2016

Definition #68569 - Preferred [edit]
selma'o VUhU
definition 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)
notes X1 must be an ordered set (or an ordered structure); extremeness is measured with respect to the order which endows the underlying set; the output is a list of elements of the underlying set. X2 accepts only -1 (li ni'upa) or +1 (li ma'upa); if the input to X2 is -1, then the type of extreme(ness) is lessness, so minimal elements are listed (starting from the least element in the underlying set according to its order); if the input to X2 is +1, then the type of extreme(ness) is greatness, so maximal elements are listed (starting from the greatest element in the underlying set according to the order which endows it); not even li ni'u nor li ma'u on their own are accepted in X2.  All input for X3 must be a nonnegative and finite integer, ro, or countable infinity (ci'ino); nontrivial input for X3 must is a positive, finite natural number which is less than or equal to the cardinality of the set underlying X1; submit "ro" for X3 in order to reproduce the underlying set as an ordered list (according to the order endowing the set) only if the underlying set is countable (finite or infinite) and discrete (has only isolated points); submit 0 for X3 in order to return the empty list; submit ci'ino in order to do the same as ro, but only if the set is countably infinite and is discrete (has only isolated points). If the set does not attain its supremum (if X2 = +1) or infimum (if X2 = -1), then the list is empty. Provided that the list is well-defined and nonempty, then the input of X3 can be augmented by +1 only if any interval around the last element of the list produced with the previous value of X3 which extends in the (- X2)-direction intersected with the set underlying X1 is either empty or has an (X2)-determined-extreme element which is isolated and there exists at least one nonempty interval. If the set underlying X1 is unbounded in the (X2)-determined direction, then the first extreme element is X2*∞. This operator produces the first X3 most X2-type-extreme elements of X1 in order starting from the very most extreme of that type. The type of the output is a list, not a number; its elements must be extracted in order to be treated as numbers; this is true even if the length of the list is 1. This function can be defined iteratively: Let ext be this function, denote set difference by "Exclude", denote set union by "Union", ith entry extraction from a list list by "list|i" where the list starts at the first (i = 1) entry list|1, and set builder notation by Set (where the first input lists the dummy values and possibly their domain, and the second input (if present) contains an exhaustive list of the conditions restricting the dummy values); an ordered structure is denoted by "(A, < )", where A is the underlying set of the structure and '<' is the order which endows the structure. When it is well-defined (and the inputs, excluding m are fixed by context), denote zm = - i*ext((A, < ), i, n)|m. Then ext((A, < ), i, n) equals a list of length n wherein each entry is an element of A and if n>1, then for any natural number m < n, the following is true: zm < zm+1; and, moreover, there exists no element y in A such that zm < - i*y < zm+1. Then, if it is well-defined, zm+1 = ext((A Exclude (Set(z1) Union ... Union Set(zm)), < ), i, 1).
gloss words
created by krtisfranks
vote information 1
time Thu Apr 7 02:20:17 2016


Example #1:

li rai'i pe'o du'a'e pa ce re ce ci boi mo'e zo'e ku'e boi ni'u pa boi re ku'e du li pe'o jo'i pa boi re ku'e; // (where the ordering '<' on the natural numbers is elided (but is meant to be such that 1 < 2 < 3))

(by krtisfranks) [edit]

krtisfranks{traji} + {rai}[edit]
Currently, jbovlaste will accept data for 69 languages.
You are not logged in.

  recent changes jbovlaste main
This is jbovlaste, the lojban dictionary system.
The main code was last changed on Wed 07 Oct 2020 05:54:55 PM PDT.
All content is public domain. By submitting content, you agree to place it in the public domain to the fullest extent allowed by local law.
jbovlaste is an official project of the logical language group, and is now headed by Robin Lee Powell.
E-mail him if you have any questions.
care to log in?