Return-path: Envelope-to: jbovlaste-admin@lojban.org Delivery-date: Tue, 21 Nov 2023 23:40:24 -0800 Received: from [192.168.123.254] (port=47862 helo=jiten.lojban.org) by b39ccf38b4ec with smtp (Exim 4.96) (envelope-from ) id 1r5hqQ-004sVU-1P for jbovlaste-admin@lojban.org; Tue, 21 Nov 2023 23:40:24 -0800 Received: by jiten.lojban.org (sSMTP sendmail emulation); Wed, 22 Nov 2023 07:40:22 +0000 From: "Apache" To: curtis289@att.net Reply-To: webmaster@lojban.org Subject: [jvsw] Definition Added At Word pi'u'e -- By krtisfranks Date: Wed, 22 Nov 2023 07:40:22 +0000 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Message-Id: X-Spam-Score: 0.0 (/) X-Spam_score: 0.0 X-Spam_score_int: 0 X-Spam_bar: / In jbovlaste, the user krtisfranks has added a definition of "pi'u'e" in the language "English". New Data: Definition: mekso n-ary operator: generate ordered tuple/list from inputs; pi'u'e$(x_1, x_2) = (x_1, x_2)$, pi'u'e$(x_1, x_2, x_3) = (x_1, x_2, x_3)$, etc. Notes: Careful: pi'u'e$((x_1, x_2), x_3) = ((x_1, x_2), x_3) \neq (x_1, x_2, x_3) =$ pi'u'e$(x_1, x_2, x_3)$, 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}"). Jargon: Gloss Keywords: Word: form tuple, In Sense: Word: form list, In Sense: Word: form array, In Sense: Place Keywords: You can go to to see it.