Return-path: Envelope-to: jbovlaste-admin@lojban.org Delivery-date: Mon, 09 Jan 2023 01:02:41 -0800 Received: from [192.168.123.254] (port=47866 helo=jiten.lojban.org) by d7893716a6e6 with smtp (Exim 4.94.2) (envelope-from ) id 1pEo3D-00FT9n-5Z for jbovlaste-admin@lojban.org; Mon, 09 Jan 2023 01:02:41 -0800 Received: by jiten.lojban.org (sSMTP sendmail emulation); Mon, 09 Jan 2023 09:02:39 +0000 From: "Apache" To: curtis289@att.net Reply-To: webmaster@lojban.org Subject: [jvsw] Definition Added At Word pu'e'ei -- By krtisfranks Date: Mon, 9 Jan 2023 09:02:39 +0000 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Message-Id: X-Spam-Score: -2.9 (--) X-Spam_score: -2.9 X-Spam_score_int: -28 X-Spam_bar: -- In jbovlaste, the user krtisfranks has added a definition of "pu'e'ei" in the language "English". New Data: Definition: mekso binary operator: generate span; outputs span$(X_1, X_2)=$ span$_{X_2}(X_1)$; set of all (finite) sums of terms of form $c v$, where $v$ is an element of algebraic structure $X_1$ (wherein scalar multiplication and summation is defined), and $c$ is a scalar belonging to ring $X_2$. Notes: Jargon: Gloss Keywords: Word: span, In Sense: algebra Word: linear combination, In Sense: Word: linear superposition, In Sense: Place Keywords: You can go to to see it.