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 fau'i
type experimental cmavo
creator krtisfranks
time entered Mon Apr 20 04:33:11 2020

Definition #71920 - Preferred [edit]
selma'o VUhU
definition 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).
notes The output of this function is itself a function of the same arity as X1. X3 often omitted due to obviousness (or due to lack of need/due to well-definition) or convention. X1 should be a function supplied in "zau'au" quotes; that function itself should be at least unary and the input against which the inverse is being taken in an n-ary X1 is X2. X2 should technically be a input slot index or domain (or subspace/projection thereof), but a named and non-evaluated dummy variable symbol can be supplied if the slot ordering or domain terms (vel sim.) are not well-specified. Because the output is a function, it can itself (that is: the output's self) have an input; use "bai'i'i" or an equivalent thereof for this purpose in most situations. For example, if f (x, y, z) = w, g = fau'i(f, 2), v = (x, y, z), and u = bai'i'i(v, 2, w) = (x, w, z), then g(u) = f-12(x, w, z) = y. In English notation, " fau'i(f, n)" might be notated as "inv(f, n)". See also: "fau'e" (this word acts as a better-specified case of iteration order n = - 1 for "fau'e").
gloss words
created by krtisfranks
vote information 2
time Fri Nov 26 09:40:16 2021


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?