fau'i

valsi

fau'i

type

experimental cmavo

creator

krtisfranks

time entered

Mon Apr 20 04:33:11 2020  

English

Definition #71920 - Preferred

 

selma'o

VUhU

definition

mekso ternary operator: inverse function of input function X₁ with respect to its input X₂, taken on branch or restricted domain X₃ ("domain" being of X₁).

notes

The output of this function is itself a function of the same arity as X₁. X₃ often omitted due to obviousness (or due to lack of need/due to well-definition) or convention. X₁ 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 X₁ is X₂. X₂ 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 MATH

$f(x,y,z)=w,g=fau'i(f,2),v=(x,y,z)$

f (x, y, z) = w, g = fau'i(f, 2), v = (x, y, z), and MATH

$u=bai'i'i(v,2,w)=(x,w,z)$

u = bai'i'i(v, 2, w) = (x, w, z), then MATH

$g(u)=f^<a class="undefined" href="../dict/-1?bg=1;langidarg=2">-1</a>_2(x,w,z)=y$

g(u) = f^-1₂(x, w, z) = y. In English notation, " MATH

$fau'i(f,n)$

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

• inverse function

created by

krtisfranks

vote information

2

time

Fri Nov 26 09:40:16 2021

Examples

---