View source for pi'u'e

==== valsi ====
pi'u'e
==== type ====
experimental cmavo
==== creator ====
[[personal/krtisfranks|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)$
 
<span class="MATH">(<i>x</i><sub>1</sub>, <i>x</i><sub>2</sub>) = (<i>x</i><sub>1</sub>, <i>x</i><sub>2</sub>)</span>, pi'u'e MATH
 $(x_1, x_2, x_3) = (x_1, x_2, x_3)$
 
<span class="MATH">(<i>x</i><sub>1</sub>, <i>x</i><sub>2</sub>, <i>x</i><sub>3</sub>) = (<i>x</i><sub>1</sub>, <i>x</i><sub>2</sub>, <i>x</i><sub>3</sub>)</span>, 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) =$
 
<span class="MATH">((<i>x</i><sub>1</sub>, <i>x</i><sub>2</sub>), <i>x</i><sub>3</sub>) = ((<i>x</i><sub>1</sub>, <i>x</i><sub>2</sub>), <i>x</i><sub>3</sub>)≠(<i>x</i><sub>1</sub>, <i>x</i><sub>2</sub>, <i>x</i><sub>3</sub>) =</span> pi'u'e MATH
 $(x_1, x_2, x_3)$
 
<span class="MATH">(<i>x</i><sub>1</sub>, <i>x</i><sub>2</sub>, <i>x</i><sub>3</sub>)</span>, 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|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|se'au]]").

==== gloss words ====

<ul><li>[[natlang/en/form array|form array]]</li><li>[[natlang/en/form list|form list]]</li><li>[[natlang/en/form tuple|form tuple]]</li></ul>

==== created by ====
[[personal/krtisfranks|krtisfranks]]
==== vote information ====
1
     
==== time ====
Wed Nov 22 07:40:22 2023

[[comments.html?valsi=34542;definition=73378|[View
	    Comments For This Definition]]] 

<br/><font size="+1">Examples</font>
<hr/>
<dl>
</dl>

=== Etymology ===