Return-path: Envelope-to: jbovlaste-admin@lojban.org Delivery-date: Sat, 12 Nov 2022 14:45:33 -0800 Received: from [192.168.123.254] (port=36832 helo=jiten.lojban.org) by d7893716a6e6 with smtp (Exim 4.94.2) (envelope-from ) id 1otzFi-008XVi-U3 for jbovlaste-admin@lojban.org; Sat, 12 Nov 2022 14:45:33 -0800 Received: by jiten.lojban.org (sSMTP sendmail emulation); Sat, 12 Nov 2022 22:45:30 +0000 From: "Apache" To: curtis289@att.net Reply-To: webmaster@lojban.org Subject: [jvsw] Definition Edited At Word vei'e -- By krtisfranks Date: Sat, 12 Nov 2022 22:45:30 +0000 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Message-Id: X-Spam-Score: -1.9 (-) X-Spam_score: -1.9 X-Spam_score_int: -18 X-Spam_bar: - In jbovlaste, the user krtisfranks has edited a definition of "vei'e" in the language "English". Differences: 5,5c5,5 < $X_1, X_2$ are not restricted to integers; they can be any complex numbers, although $X_2$ will typically be a positive real and the definition will need to be adjusted if they are not real. "$\%$" denotes the modulus operator ("{vei'u}"). vei'e(0, n) = 0 for all n > 0; vei'e(9, 3) = 3; vei'e(10, 3) = 3; vei'e(-5.2, 2.5) = -2. --- > $X_1, X_2$ are not restricted to integers; they can be any complex numbers, although $X_2$ will typically be a positive real and the definition will need to be adjusted if they are not real. "$\%$" denotes the modulus operator ("{vei'u}"). vei'e(0, n) = 0 for all n > 0; vei'e(9, 3) = 3; vei'e(10, 3) = 3; vei'e(-5.2, 2.5) = -2, vei'e(-17.23 + π/1000, 1) = -17; vei'e(4, -1) = -4; vei'e(-6.3, -1) = 6. 12,12d11 < Word: quotient, In Sense: from integer-division \n13a13,13 \n> Word: quotient, In Sense: from integer-division Old Data: Definition: mekso binary operator – quotient from integer-division: sgn$(X_1)$ sgn$(X_2) (($abs$(X_1) - ($abs$(X_1) \% X_2))/X_2)$. Notes: $X_1, X_2$ are not restricted to integers; they can be any complex numbers, although $X_2$ will typically be a positive real and the definition will need to be adjusted if they are not real. "$\%$" denotes the modulus operator ("{vei'u}"). vei'e(0, n) = 0 for all n > 0; vei'e(9, 3) = 3; vei'e(10, 3) = 3; vei'e(-5.2, 2.5) = -2. Jargon: Gloss Keywords: Word: integer-division quotient, In Sense: Word: quotient, In Sense: from integer-division Word: integer-part function, In Sense: Place Keywords: New Data: Definition: mekso binary operator – quotient from integer-division: sgn$(X_1)$ sgn$(X_2) (($abs$(X_1) - ($abs$(X_1) \% X_2))/X_2)$. Notes: $X_1, X_2$ are not restricted to integers; they can be any complex numbers, although $X_2$ will typically be a positive real and the definition will need to be adjusted if they are not real. "$\%$" denotes the modulus operator ("{vei'u}"). vei'e(0, n) = 0 for all n > 0; vei'e(9, 3) = 3; vei'e(10, 3) = 3; vei'e(-5.2, 2.5) = -2, vei'e(-17.23 + π/1000, 1) = -17; vei'e(4, -1) = -4; vei'e(-6.3, -1) = 6. Jargon: Gloss Keywords: Word: integer-division quotient, In Sense: Word: integer-part function, In Sense: Word: quotient, In Sense: from integer-division Place Keywords: You can go to to see it.