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 ci'o'au
type experimental cmavo
creator krtisfranks
time entered Fri Oct 9 00:10:13 2015

Definition #67917 - Preferred [edit]
selma'o VUhU
definition mekso operator (binary): projection function; the Bth term/entry ("element") of tuple A
notes A must be a tuple. Let L = length(A); then L is a positive integer, 0, or infinity (countable), and A = (A_1, A_2, ..., A_L), and B must be a natural number and belong to the ordered interval [1, L]. If L = 0, the output is a placeholder "blank element"; else, if B does not satisfy the aforementioned condition, then the function is undefined. Using the aforementioned notation, and letting Proj represent the projection function, Proj(A, B) = A_B; note that B = 1 will cause the output of the first entry in the tuple, which is A_1. For any i, there is no restriction on the typing/value of A_i so long as it is defined; the type of A_i need not even match the type of A_j for i =/= j. See also: bai'ei, no'au'au, pi'ei. Notice that the input is a single tuple and an integer, it does not rely on anyou underlying stucture; this is markedly different from a the dot product of vectors, although by establishing a basis and an underlying field, they can look quite similar.
gloss words
created by krtisfranks
vote information 1
time Fri Oct 9 00:11:15 2015


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?