Envelope-to: jbovlaste-admin@lojban.org
Delivery-date: Wed, 26 Oct 2022 21:13:18 -0700
From: "Apache" <apache@lojban.org>
To: curtis289@att.net
Reply-To: webmaster@lojban.org
Subject: [jvsw] Definition Added At Word pau'au -- By krtisfranks
Date: Thu, 27 Oct 2022 04:13:15 +0000
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Message-Id: <E1onuGa-007ESR-1C@d7893716a6e6>
X-Spam_score: -2.9
X-Spam_score_int: -28
X-Spam_bar: --


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

New Data:

	Definition:
		ternary mekso operator: p-adic valuation; outputs infinity ($+\infty$) if $x_1 = 0$ and, else, outputs $\operatorname{sup}({k \in \mathbb{Z}^{+} \cup {0}: (x_2 * (1 - x_3) + p_{x_2} * x_3)^k$ divides $ x_1})$, where $p_n$ is the $n$th prime (such that $p_1 = 2$).

	Notes:
		Terbri order in analog to "{de'o}". Normally, $x_1$ should be a rational number, and $x_2$ should be a positive integer. $x_3$ is either $0$ xor $1$ and indicates/toggles between modes: $x_3 = 0$ yields the $x_2$-adic valuation (even for nonprime $x_2$); $x_3 = 1$ yields the $p_{x_2}$-adic valuation. $x_2 = 1, x_3 = 0$ yields infinity ($+\infty$) for any $x_1$. If $x_1 = n/m \in mathbb{Q}$\$\mathbb{Z}: \operatorname{gcd}(n,m) = 1$, then pau'au$(x_1, x_2, x_3) =$ pau'au$(n, x_2, x_3) -$ pau'au$(m, x_2, x_3)$.

	Jargon:
		

	Gloss Keywords:
		Word: p-adic valuation, In Sense: 
		Word: p-adic order, In Sense: 
		Word: prime-logarithm, In Sense: 

	Place Keywords:


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