Return-path: <apache@lojban.org>
Envelope-to: jbovlaste-admin@lojban.org
Delivery-date: Fri, 12 May 2023 06:01:08 -0700
Received: from [192.168.123.254] (port=53342 helo=web.lojban.org)
	by 1e8a975bd72a with smtp (Exim 4.94.2)
	(envelope-from <apache@lojban.org>)
	id 1pxSOP-000F3U-Kz
	for jbovlaste-admin@lojban.org; Fri, 12 May 2023 06:01:08 -0700
Received: by web.lojban.org (sSMTP sendmail emulation); Fri, 12 May 2023 13:01:05 +0000
From: "Apache" <apache@lojban.org>
To: curtis289@att.net
Reply-To: webmaster@lojban.org
Subject: [jvsw] Definition Edited At Word va'au'au -- By krtisfranks
Date: Fri, 12 May 2023 13:01:05 +0000
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Message-Id: <E1pxSOP-000F3U-Kz@1e8a975bd72a>
X-Spam-Score: -2.9 (--)
X-Spam_score: -2.9
X-Spam_score_int: -28
X-Spam_bar: --



In jbovlaste, the user krtisfranks has edited a
definition of "va'au'au" in the language "English".

Differences:



Old Data:

	Definition:
		Binary mekso operator: group-theoretic conjugation (group action): maps inputs $(X_1, X_2, X_3)$ to $X_2^{(-X_3)} * X_1 * X_2^{X_3} = \phi_{(X_2^{(-X_3)})}(X_1)$. Default: $X_3 = 1$.

	Notes:
		Assumes that the inverse of $X_2$ is defined; inherits the group operator '*' (which is binary and left-groups/evaluates from the left) from context and assumes that it is defined for the given input pairs. $X_3$ will typically be $\pm 1$. Negative 'exponents' denote inverses; an 'exponent' of $0$ denotes the jdentity element for the group.

	Jargon:
		

	Gloss Keywords:
		Word: change of basis, In Sense: 
		Word: conjugation, In Sense: group theory
		Word: group-theoretic conjugation, In Sense: 
		Word: Jordan normalization operator, In Sense: 

	Place Keywords:



New Data:

	Definition:
		Binary mekso operator: group-theoretic conjugation (group action): maps inputs $(X_1, X_2, X_3)$ to $X_2^{(-X_3)} * X_1 * X_2^{X_3} = \phi_{(X_2^{(-X_3)})}(X_1)$. Default: $X_3 = 1$.

	Notes:
		Assumes that the inverse of $X_2$ is defined; inherits the group operator '*' (which is binary and left-groups/evaluates from the left) from context and assumes that it is defined for the given input pairs. $X_3$ will typically be $\pm 1$. Negative 'exponents' denote inverses; an 'exponent' of $0$ denotes the jdentity element for the group.

	Jargon:
		

	Gloss Keywords:
		Word: change of basis, In Sense: 
		Word: conjugation, In Sense: group theory
		Word: group-theoretic conjugation, In Sense: 
		Word: Jordan normalization operator, In Sense: 

	Place Keywords:




You can go to <http://jbovlaste.lojban.org/dict/va'au'au> to see it.