pi'u'e

From Lojban Wiki
Jump to navigation Jump to search

valsi

pi'u'e

type

experimental cmavo

creator

krtisfranks

time entered

Wed Nov 22 07:40:22 2023  

English

Definition #73378 - Preferred

 

selma'o

VUhU

definition

mekso n-ary operator: generate ordered tuple/list from inputs; pi'u'e MATH

$(x_1, x_2) = (x_1, x_2)$

(x1, x2) = (x1, x2), pi'u'e MATH

$(x_1, x_2, x_3) = (x_1, x_2, x_3)$

(x1, x2, x3) = (x1, x2, x3), etc.

notes

Careful: pi'u'e MATH

$((x_1, x_2), x_3) = ((x_1, x_2), x_3) \neq (x_1, x_2, x_3) =$

((x1, x2), x3) = ((x1, x2), x3)≠(x1, x2, x3) = pi'u'e MATH

$(x_1, x_2, x_3)$

(x1, x2, x3), although the two may be isomorphically related to one another in the trivial and standard manner; thus, extraction is necessary, and this word cannot be defined by simple self-iteration. The result in at least the binary case belongs to the result of "pi'u" having been applied to the spaces in which this word's inputs respectively live (in like order). Like many other open-ended n-ary operators in Lojban, this word already functions as a 'big' operator (as series 'Σ' does for summation) for finitely many explicit inputs, but can be made explicitly so or can be generalized to infintely many or arbitrary inputs via the usual Lojbanic big-operator conversion methodology ("se'au").

gloss words

created by

krtisfranks

vote information

1

time

Wed Nov 22 07:40:22 2023

[View Comments For This Definition]


Examples


Etymology