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 cnanlime
type fu'ivla
creator krtisfranks
time entered Sun Apr 1 01:14:50 2018

Definition #70580 - Preferred [edit]
definition 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).
notes Possibly dimensionful. If the cardinality of x2 is n, then the cardinality of x4 is also n and, moreover, the weights default to 1/n each. If x3 is a single extended-real number p, then x3 = (p, p - 1) also. If x3 = (p, q) validly for real p&q, then x1 =Sum (wiyip, i in Set (1,..., n))/Sum (wiyiq, i in Set (1,..., n)), where yi is the ith term of x2 for all i, wi is the ith term of x4 for all i, and n is the cardinality of x2 (and thus x4). If x3 equals positive infinity (ma'uci'i), then the result x1 is the maximum of the data x2; if x3 equals negative infinity (ni'uci'i), then the result x1 is the minimum of the data x2.
gloss words
created by krtisfranks
vote information 1
time Sun Apr 1 02:44:44 2018


krtisfranks{cnano} + "Lehmer".[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?