- Home
- Get A Printable Dictionary
- Search Best Words
- Recent Changes
- How You Can Help
- valsi - All
- valsi - Preferred Only
- natlang - All
- natlang - Preferred Only
- Languages
- XML Export
- user Listing
- Report Bugs
- Utilities
- Status
- Help
- Admin Request
- Create Account
|
| valsi |
fau'i |
| type |
experimental cmavo |
| creator |
krtisfranks |
| time entered |
Mon Apr 20 04:33:11 2020 |
Examples
| |
|
English
|
|
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 |
|
|
|
Examples
|
|
|
|
|